ECLiPSe CLP
Реализация языка программирования PrologECLiPSe (ECLiPSe Constraint Logic Programming System) — основанная на Prolog система, интегрирующая различные расширения логической парадигмы программирования, в особенности логического программирования с ограничениями (Constraint Logic Programming, CLP).
Ядро ECLiPSe является эффективной реализацией Edinburgh Prolog. В основе лежит инкрементальный компилятор исходных кодов в коды виртуальной машины.
TkECLiPSe - стандартная GUI-оболочка для ECLiPSe, версия 6.0
Примеры:
Hello, World!:
Пример для версий B-Prolog 7.4-3, ECLiPSe CLP 6.0 #188, Poplog 15.5 (Prolog), gprolog 1.3.0, swipl 5.6.xЭтот пример не требует загрузки фактов или правил. Запрос выполняется в интерактивном режиме, и его результат выглядит следующим образом:
Hello, World!
yes
Первая строка является собственно выводом предиката write, вторая — результат оценивания запроса.
Следует отметить, что замена одинарных кавычек на двойные выводит строку как массив ASCII-кодов отдельных символов:
| ?- write("Hello, World!").
[72,101,108,108,111,44,32,87,111,114,108,100,33]
yes
write('Hello, World!'), nl.
Комментарии
]]>blog comments powered by Disqus
]]>