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.

Скачать

>>> Подробности

Ещё 10 февраля вышла новая версия языка Mercury — 14.01. Мажорные релизы называются по номеру года и месяца запланированного выпуска, предыдущий был 13.05.

Mercury — это логический и функциональный язык программирования, похожий на Prolog, но с поддержкой компиляции в машинный код, чистыми предикатами, со строгой статической типизацией, явным объявлением детерминизма предикатов, с функциями (а не только предикатами), встроенным каррированием и другими новшествами.

В новой версии:

• Могут повторяться переменные типов в объявлении экземпляров классов типов (type class instances). Например:

  instance foo(list(T), map(T, T)).

• Ряд улучшений в стандартной библиотеке, особенно связанных с функциями свёртки списков (см. полный список).
• Исправлены проблемы совместимости с GCC 4.8 (а также с Visual Studio 2013 и Mac OS X 10.9).

Сайт Mercury

Скачать

>>> Примечания к выпуску 14.01

GNU Prolog - это свободный компилятор для языка программирования Prolog.

Главные изменения новой версии:

• Флаг strict_iso включен по умолчанию (был выключен в предыдущих версиях).
• Если флаг strict_iso prolog выключен, то термы типа callable_term больше нельзя использовать вместо predicate_indicator.
• Предикат predicate_property/2 больше не принимает predicate_indicator в качестве первого аргумента. Предоставлен предикат '$predicate_property_pi'/2 реализующий прежнее поведение predicate_property/2.
• predicate_property теперь может получать информацию об управляющих конструкциях (таких как (',')/2, (;)/2, !/0,...). Им соответствуют свойства: built_in, control_construct.
• Добавлена поддержка shebang синтаксиса для запуска программ. ( #!/usr/bin/gprolog --consult-file).
• Реализована ISO директива multifile/1

А так же теперь GNU Prolog выходит под двойной лицензией GPL или LGPL, портирован на x86_64/MinGW и x86_64/MSVC, сделано много небольших изменений и багфиксов.

>>> Подробности