Релиз SWI-Prolog 7.1.13
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).
Список изменений в версии 7.1.13:
Добавлена опция inherit_from в thread_create/3. Исправлена ошибка в url_iri/2. Исправлена ошибка в print_message/2. Исправлена ошибка в pengine.>>> Скачать
prolog
