SWI-Prolog

SWI-Prolog
Класс языка	Логическое программирование
Тип исполнения	интерпретация
Появился в	1987
Автор	Jan Wielemaker
Разработчик	Ян Вилемакер[вд]
Выпуск	8.4.0 (30 сентября 2021)
Тестовая версия	8.5.1
Система типов	динамическая
Основные реализации	SWI-Prolog
Лицензия	2-пунктная лицензия BSD[вд][1][2][…]
Сайт	swi-prolog.org
ОС	GNU/Linux[3], BSD[вд][3], macOS[3], Windows[3] и Android[3]
Медиафайлы на Викискладе

SWI-Prolog — свободная (открытая) реализация языка программирования Пролог, часто используемая для преподавания и приложений Semantic Web.

Эта реализация предоставляет богатый набор возможностей, библиотеки для логического программирования в ограничениях^[англ.], многопоточности, юнит-тестирования, GUI, интерфейс к языку программирования Java, ODBC и т. д., поддерживает литературное программирование, содержит реализацию веб-сервера, библиотеки для SGML, RDF, RDFS, средства разработчика (включая IDE с графическими отладчиком и профилировщиком) и обширную документацию.

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

SWI-Prolog постоянно развивается, начиная с момента создания в 1987 году. Его создателем и основным разработчиком является Ян Вилемакер^[англ.]. Название SWI происходит от Sociaal-Wetenschappelijke Informatica («Social Science Informatics»), первоначального названия группы в Амстердамском университете, где работает Wielemaker. Позже название этой группы сменилось на HCS (Human-Computer Studies)^[4].

1. ↑ https://github.com/SWI-Prolog/swipl/blob/master/LICENSE
2. ↑ https://salsa.debian.org/debian/swi-prolog/-/blob/master/debian/copyright#L28
3. ↑ ^{1 2 3 4 5} Free Software Directory
4. ↑ HCS