SWI Prolog
Реализация языка программирования PrologSWI-Prolog — это мощная среда разработки с набором графических инструментов ХРСЕ, распространяемая на условиях лицензии GNU GPL. Его развитие началось в 1987 г., и сегодня он широко используется в исследованиях, образовании, а также в коммерческих приложениях.
SWI Prolog довольно популярная система, в основном благодаря удобной среде и переносимой библиотеке для создания графического интерфейса. SWI-Prolog почти как все реализации в основном следует знаменитому Edinburgh Prolog, но содержит частично реализованные особенности ISO Prolog.
SWI-Prolog содержит быстрый компилятор, профилировщик, набор библиотек и удобный интерфейс для подключения Си-модулей. Он реализован для ряда UNIX-платформ таких как HP, IBM Linux, для NeXT, OS/2, Sun и Sparc.
Prolog XREF
Комментарии
]]>blog comments powered by Disqus
]]>