SWI-Prolog

0
Ваша оценка: Нет

SWI-Prolog - мощный компилятор языка пролог с богатым набором встроенных предикатов. Содержит специальную интегрированную среду разработки.

SWI-Prolog — это свободная (открытая) реализация языка программирования Prolog, часто используемая для преподавания и приложений Semantic Web. Эта реализация представляет богатый набор возможностей, библиотеки для constraint logic programming, многопоточности, юнит-тестирования, GUI, интерфейс к языку программирования Java, ODBC и т. д., поддерживает литературное программирование, содержит реализацию веб-сервера, библиотеки для SGML, RDF, RDFS, средства разработчика (включая IDE с графическими отладчиком и профилировщиком), и обширную документацию.
SWI Prolog — довольно популярная система, в основном благодаря удобной среде и переносимой библиотеке для создания графического интерфейса. SWI-Prolog, как почти все реализации языка, по большей части реализует Edinburgh Prolog, но также содержит отдельные элементы ISO Prolog.
SWI-Prolog работает на платформах Unix, Windows, и Macintosh.

Сайт разработчика: http://www.swi-prolog.org/
Что почитать?


Разместил: vikos 26 Июнь 2012 в 09:39