LINUX.ORG.RU

Релиз SWI-Prolog 7.1.13

 


1

1

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.

Скачать

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

SWI-Prolog — это свободная реализация языка программирования Prolog, часто используемая

часто используемая

Это в какой вселенной?

templarrr ★★★★★ ()

Одобряю, но сам пока сижу на 6.x

Заодно отмечу, что седьмая версия немного отошла от «стандартного» (ISO) Prolog'a, но есть некоторая вероятность, что если нововведения будут признаны удачными, то со временем они могут «разползтись» и в другие наиболее популярные реализации пролога.

runtime ★★★ ()
Последнее исправление: runtime (всего исправлений: 1)
Ответ на: комментарий от templarrr

Это в какой вселенной?

Одна из тех свободных реализаций, которая называется первой по счету. Я еще 15 лет назад SWI использовал. Это очень хорошая реализация.

Zubok ★★★★★ ()
Ответ на: комментарий от templarrr

prolog часто используется в системах симуляции AI и при построении экспертных систем. причем уже очень давно (я на нем писал в 96-ом, и уже тогда это был довольно таки архаичный язык). модуль написанный на прологе есть в tivoli, и в куче баз знаний разных уровней - сама логика языка позволяет удобно формулировать детерминистические деревья, что в нормальных языках (а пролог ни разу не нормальный и логика в нем совсем не тривиальная) требует гораздо бОльших усилий и строк кода.

dyasny ★★★★★ ()
Ответ на: комментарий от uber_cat

Если под Unix имели в виду Unix-like, то непонятно зачем тогда дописывать Macintosh. Не про Classic Mac OS же это

anonymous ()
Ответ на: комментарий от dyasny

Чисто ради прикола:
http://www.pdc.com/index.html
И только ради прикола, поскольку
http://www.visual-prolog.com/ - эти ребята (а они с 93 года пилят PDC-Prolog) отказались от сопровождения ещё и UNIX-версии лет пятнадцать назад.
Но пользователей они себе успели заиметь, и пользуются этим до сих пор.

Такой вот Пролог-продакшн.

livi ()
Ответ на: комментарий от livi

ну, когда я на нем работал, это было под dos, в amdocs, и делали мы самый настоящий AI который даже работал. на уровне ребенка-дауна, но работал.

dyasny ★★★★★ ()
Ответ на: комментарий от templarrr

Вот-вот, альтернатив коммерческим реализациям CLP(fd) как не было, так и нет. SWI - тот еще тормоз.

anonymous ()
Ответ на: комментарий от livi

Корректный перевод будет «грамотное программирование».

anonymous ()
Ответ на: комментарий от uber_cat

Может и приятно, но неправильно. GNU/Linux, например, не является Unix.

Получается, новость на этом сайте оффтопик.

AVL2 ★★★★★ ()
Ответ на: комментарий от templarrr

Пролог не нужен, а вот CLP(fd) нужно.

anonymous ()
Ответ на: комментарий от templarrr

Я не конкретно об этой реализации, а о прологе вообще.

Если намек на «часто используемое», то используется. Достаточно учинить поиск в Google по правильным ключевым словам. Речь, разумеется, идет не о плеере или файловом менеджере на Прологе. :)

Zubok ★★★★★ ()
Ответ на: комментарий от Nebuchadnezzar

Скорее всего, это «грамотное программирование» переведённое надмозгом.

Надмозг, расслабься.

Literate programming имеет нулевую корреляцию с грамотностью. «Литературное» - действительно наиболее точный перевод, хорошо передающий изначальный смысл.

rtvd ★★★★★ ()
Ответ на: комментарий от rtvd

Literate programming имеет нулевую корреляцию с грамотностью. «Литературное» - действительно наиболее точный перевод, хорошо передающий изначальный смысл.

Да неужели?

zh_v68 ()
Ответ на: комментарий от yoghurt

Ну типа что бы хайп был, можно было бы собираться в кружки и говорить о своих проблемах и смотреть на всех как на говно.

Тут то это уже давно утеряно

umren ★★★★★ ()
Ответ на: комментарий от umren

Не всем же формошлёпать, заниматься уеб-девелопингом и энтерпрайзить фабрики синглтонных фабрик.

aedeph_ ★★ ()
Ответ на: комментарий от yoghurt

Новость хорошая, но форматирование выдает сеошника

Зашёл как то SEOшник в бар, ресторан, горячительные напитки в Москве купить недорого.

rezedent12 ☆☆☆ ()
Ответ на: комментарий от umren

Ну типа что бы хайп был, можно было бы собираться в кружки и говорить о своих проблемах и смотреть на всех как на говно.

При желании всё это можно устроить. Какое-то время у ЛОРовцев даже была Jabber-конференция по прологу (в которой я даже участвовал), но там, правда, было маловато народу. Жива ли она сейчас я не знаю.

runtime ★★★ ()
Ответ на: комментарий от umren

так ведь тут как раз об этой самой современной вариации и написано. и AI работал не только на прологе, у нас была серьезная команда

dyasny ★★★★★ ()
Ответ на: комментарий от yoghurt

жена закончила CS два года назад, они тоже пролог проходили, курс «экспертные системы»

dyasny ★★★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.