Описание тега swi-prolog

SWI-Prolog - это реализация Prolog с открытым исходным кодом, работающая в Unix, Windows и Mac.

swi-prolog - это реализация пролога языка программирования с открытым исходным кодом, обычно используемая для обучения и семантических веб-приложений. Он имеет богатый набор функций и библиотек, включая:

  • Программирование логики ограничений
  • Многопоточность
  • Модульное тестирование
  • GUI
  • Взаимодействие с Java
  • ODBC и другие
  • Грамотное программирование
  • Веб-сервер
  • SGML
  • RDF и RDFS

Наряду с инструментами разработчика (включая IDE с отладчиком графического интерфейса и профилировщиком).

SWI-Prolog работает на платформах Unix, Windows и Macintosh.

SWI-Prolog непрерывно развивается с 1987 года. Его главный автор - Ян Вилемакер.

Название SWI происходит от Sociaal-Wetenschappelijke Informatica ("Информатика социальных наук"), бывшего названия группы в Амстердамском университете, где работает Вилемакер. Название этой группы было изменено на HCS (Human-Computer Studies).

http://www.swi-prolog.org/