Википедия
SWI-Prolog — это свободная реализация языка программирования Prolog , часто используемая для преподавания и приложений Semantic Web . Эта реализация предоставляет богатый набор возможностей, библиотеки для constraint logic programming , многопоточности , юнит-тестирования , GUI , интерфейс к языку программирования Java , ODBC и т. д., поддерживает литературное программирование , содержит реализацию веб-сервера , библиотеки для SGML , RDF , RDFS, средства разработчика (включая IDE с графическими отладчиком и профилировщиком ), и обширную документацию.
SWI-Prolog работает на платформах Unix , Windows , и Macintosh .
SWI-Prolog постоянно развивается, начиная с момента создания в 1987 году. Его создателем и основным разработчиком является Jan Wielemaker. Название SWI происходит от Sociaal-Wetenschappelijke Informatica («Social Science Informatics»), первоначального названия группы в Амстердамском университете , где работает Wielemaker. Позже название этой группы сменилось на HCS (Human-Computer Studies).