Релиз 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.

Скачать

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

Ссылка

←	Вышел VMware Workstation 10.0.2

sinit 0.9

→

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

yoghurt ★★★★★
(18.04.14 22:49:55 MSK)

Ну наконец-то!

dmitry_malikov ★★
(18.04.14 22:54:44 MSK)

Ссылка

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

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

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

templarrr ★★★★★
(18.04.14 23:25:47 MSK)

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

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

runtime ★★★★
(19.04.14 00:30:27 MSK)
Последнее исправление: runtime 19.04.14 00:33:17 MSK (всего исправлений: 1)

Ссылка

как непривычно, но приятно видеть

Unix

в списке поддерживаемых платформ

uber_cat
(19.04.14 00:42:42 MSK)

Ответ на: комментарий от templarrr 18.04.14 23:25:47 MSK

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

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

Zubok ★★★★★
(19.04.14 01:57:10 MSK)

Пролог ещё жив? :)

Stalin ★★★★★
(19.04.14 07:24:08 MSK)

Ссылка

хм... а что такое «литературное программирование»?

zh_v68 ★
(19.04.14 07:29:24 MSK)

Ответ на: комментарий от templarrr 18.04.14 23:25:47 MSK

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

dyasny ★★★★★
(19.04.14 07:30:37 MSK)

Ответ на: комментарий от uber_cat 19.04.14 00:42:42 MSK

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

anonymous
(19.04.14 07:47:52 MSK)

Ссылка

Ответ на: комментарий от dyasny 19.04.14 07:30:37 MSK

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

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

~~livi~~
(19.04.14 08:44:24 MSK)

Ответ на: комментарий от zh_v68 19.04.14 07:29:24 MSK

«Литеральное», не?

~~livi~~
(19.04.14 08:45:12 MSK)

Ответ на: комментарий от livi 19.04.14 08:44:24 MSK

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

dyasny ★★★★★
(19.04.14 09:54:03 MSK)

Ссылка

Ответ на: комментарий от zh_v68 19.04.14 07:29:24 MSK

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

Nebuchadnezzar ★★★★
(19.04.14 10:34:15 MSK)

Ответ на: комментарий от templarrr 18.04.14 23:25:47 MSK

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

anonymous
(19.04.14 12:54:04 MSK)

Ответ на: комментарий от livi 19.04.14 08:45:12 MSK

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

anonymous
(19.04.14 12:54:55 MSK)

Ссылка

Ответ на: комментарий от uber_cat 19.04.14 00:42:42 MSK

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

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

~~AVL2~~ ★★★★★
(19.04.14 14:40:51 MSK)

Ответ на: комментарий от Zubok 19.04.14 01:57:10 MSK

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

templarrr ★★★★★
(19.04.14 15:07:07 MSK)

Ответ на: комментарий от templarrr 19.04.14 15:07:07 MSK

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

anonymous
(19.04.14 16:17:59 MSK)

Ссылка

Ответ на: комментарий от AVL2 19.04.14 14:40:51 MSK

согласен. элегантней было бы написать - Unix-подобные.

uber_cat
(19.04.14 16:59:00 MSK)

Ссылка

Ответ на: комментарий от templarrr 19.04.14 15:07:07 MSK

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

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

Zubok ★★★★★
(19.04.14 18:17:29 MSK)

Ссылка

Ответ на: комментарий от Nebuchadnezzar 19.04.14 10:34:15 MSK

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

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

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

~~rtvd~~ ★★★★★
(20.04.14 00:47:39 MSK)

Ответ на: комментарий от rtvd 20.04.14 00:47:39 MSK

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

Да неужели?

zh_v68 ★
(20.04.14 07:31:16 MSK)

Ссылка

Ответ на: комментарий от dyasny 19.04.14 07:30:37 MSK

современные вариации этого языка имеются ? или все забили на AI это и им подавай node.js и асинхронность ?

umren ★★★★★
(20.04.14 09:58:40 MSK)

Ответ на: комментарий от umren 20.04.14 09:58:40 MSK

Странно спрашивать про современные вариации в топике про самую что ни на есть современную вариацию.

yoghurt ★★★★★
(20.04.14 11:25:45 MSK)

Ответ на: комментарий от yoghurt 20.04.14 11:25:45 MSK

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

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

umren ★★★★★
(20.04.14 11:30:10 MSK)

Ответ на: комментарий от umren 20.04.14 11:30:10 MSK

Ну почему же, у нас в провинциальном НГТУ изучение Пролога и иже было на 3м курсе.

yoghurt ★★★★★
(20.04.14 11:58:36 MSK)

Ответ на: комментарий от umren 20.04.14 11:30:10 MSK

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

aedeph_ ★★
(20.04.14 12:29:47 MSK)

Ссылка

Ответ на: комментарий от yoghurt 18.04.14 22:49:55 MSK

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

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

~~rezedent12~~ ☆☆☆
(20.04.14 12:50:29 MSK)

Ссылка

Ответ на: комментарий от umren 20.04.14 11:30:10 MSK

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

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

runtime ★★★★
(20.04.14 13:29:31 MSK)