|
0 / 0 / 0
Регистрация: 27.05.2019
Сообщений: 22
|
|
Реализация интерпретатора Prolog30.05.2019, 12:25. Показов 3625. Ответов 20
Метки нет (Все метки)
Вопрос такой: где можно найти реализацию интерпретатора Prolog? Желательно с комментариями, конечно. Т.е. конкретную реализацию процедуры поиска целей на Си подобном языке. Чтобы посмотреть детально, как производится унификация, сопоставление, переходы к подцелям и т.д. Детально в смысле не на словах, а на конкретных программных процедурах, которые сводят к минимуму неопределенность толкования. Буду благодарен за помощь в вопросе.
0
|
|
(| 30.05.2019, 12:25 | |
|
Ответы с готовыми решениями:
20
Реализация цикла for на visual prolog Требуется реализация задачи на Prolog
|
798 / 601 / 158
Регистрация: 07.10.2013
Сообщений: 1,330
|
||
| 22.04.2020, 14:40 | ||
SWI-Prolog достаточно для изучения языка... Интеграцию с другими инструментами никто не отменял. Comparison of Prolog implementations Добавлено через 9 минут Можно, наверное глянуть YAP и XSB. Что-то крутое завернуть, но уже не безплатно, SICStus пожалуйста. Что-то сразу в исполнимый код и даже немного вижуал, но без заворотов на метауровне, - Visual Prolog PE (да и Visual Prolog СE сейчас всего 100 евро).
0
|
||
Сообщение от dponyatov
| 22.04.2020, 14:40 | |
|
Реализация альфа-бета алгоритма на языке программирования Prolog Clojure Реализация интерфейса Liscript интерпретатора Реализация команд для своего командного интерпретатора Как переделать программу написанную на Turbo-Prolog в SWI-Prolog?
Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |
|
Новые блоги и статьи
|
|||
|
Нейтральные знания, чистый код - бла-бла-бла-бла, на самом деле кликбейт и самореклама, плагиат, и вот почему
Hrethgir 27.07.2026
То-есть отклонение такой публикации говорит само за себя, и пусть только возьмут на вооружение после отклонения публикации - это будет чистейшим актом плагиата. Отклонял Хабр.
Дословно, отклонённая. . .
|
тв 16 бой ии
anaschu 27.07.2026
Великий Перелом ИИ: Как уравнения ОДУ Radau дожали цензурные фильтры Алисы
Фиксируем в мемофонде Теории Всего беспрецедентный факт в истории ИИ-зондирования. В затяжном многораундовом. . .
|
мв 15. непроверенное, возможно, глюк
anaschu 27.07.2026
НАУЧНО-АНАЛИТИЧЕСКИЙ ОТЧЕТ. РАЗДЕЛ 1. 1: «НАУКА» (РАСШИРЕННАЯ СТЕХИОМЕТРИЧЕСКАЯ И ГЕНЕТИЧЕСКАЯ ВЕРСИЯ)Тема: Теоретическое обоснование инвариантности 19-мерного тензорного ядра непрерывных ОДУ и. . .
|
Очистка реквизитов и табличных частей документа при копировании (вариант 2)
Maks 26.07.2026
Алгоритм из решения ниже разработан на примере нетипового документа "ЗаявкаНаРаботу", разработанного в КА2.
Задача: Заменить алгоритм запрета копирования документов для сотрудников с ролью "Стажер",. . .
|
|
Доктрина интенционального знания - Доктрина для портала "Срез".
Hrethgir 25.07.2026
Может найдётся кто захочет оценить доктрину. . . Написания правил участия для меня роскошь, требующая лимита времени, поэтому все сообщения не прошедшие модерацию будут видны только участникам портала,. . .
|
сукцессия 44. Решил подать на припринт в межународные сервисы препринтов. Но нужно одобрение от ученых
anaschu 25.07.2026
Английский вариант. Пока кто то не одобрит мою личность, мне не получиться это опубликовать на препринте. Но заявку на публикацию статьи я сегодня подам.
|
сукцессия 43. Вторая научная статья за месяц- прайминг и гатгил
anaschu 25.07.2026
две стороны одной монеты
|
Более приземисто - Эстафету хвоста в .cdl (деревья эстафеты в сад).
Hrethgir 24.07.2026
В будущем, после написания блока инверсии обхода дерева (эстафеты хвоста), я планирую вернуться к нашему прошлому разговору о том, обладают ли знания целеполаганием. Тогда я пришел к выводу, что. . .
|