LINUX.ORG.RU

Релиз GNU Prolog 1.4.0

 , ,


0

1

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, сделано много небольших изменений и багфиксов.

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

★★

Проверено: mono ()

Мы в универе лабы в Visual Prolog 5.2 делали по AI, надо будет поковырять этот на досуге.

adriano32 ★★★ ()

а в наше мирное время коррупции и нефтедолларов пролог как то используется ? для чего ? Написание какой нить логистики перевозочной или складской ? Поясните.

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

А какая разница дос или визуал или ещё что-то? Если, конечно, главным является освоение самого Пролога, а не мерянье понтами. Как говорится «вам шашечки или ехать?»

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

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

dib2 ★★★★★ ()

SWI помощнее будет, у него гигантская библиотека с кучей мегаинтересных функций, своя IDE c отладчиком, GUI-библиотека.

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

Да уж, вокруг этих OWL-ов сейчас вроде народ околонаучный кучкуется.

база данных по геополитике http://www.fao.org/countryprofiles/geoinfo.asp?lang=en

онтология физики http://www.bhi.washington.edu/research/SemBioProcess/OPB.htm

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

Пролог тут как нельзя уместен.

mclaudt ()

Ну, и чего он такого может, чего не может SQL?

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

>>Ну, и чего он такого может, чего не может SQL

Коддовский формализм реляционной алгебры и дизъюнкты Хорна. Казалось бы, что между ними общего? Ответ: факт одинакого ниасиливания этих областей глупым анонимусом.

mclaudt ()

Придумали его садисты, а пишут на нем мазохисты.

kristall ★★ ()

Радует, что в отличие от GCL гнутый пролог еще живет.

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

Только вот во всех руководствах советуют SWI.

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

Проложка сама по себе нигде не используется (кроме как для дрючки студентов). Пролог используется только во встраиваемом виде - всяческие business rule engines это по сути ничто иное как Пролог. Так что, относительно топика - оно не нужно. Совершенно.

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

У GNU prolog есть только одно полезное преимущество - его constraint programming расширения. В коммерческих движках за это большие деньги берут, а тут почти та же радость, но на халяву. Если б еще в Java встраивалось, цены бы ему не было, а раз не встраивается, то и не нужно вовсе.

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

> в отличие от GCL гнутый пролог еще живет

А gcl никогда и не был ничем кроме запускалки для Maxima. Вместе они прекрасно живут (найди любой другой CL, собирающийся под arm-linux), по отдельности не нужны.

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

У GNU prolog есть только одно полезное преимущество - его constraint programming расширения. В коммерческих движках за это большие деньги берут, а тут почти та же радость, но на халяву.

Как в SICSTus'е? Впечатляет.

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

А разве я называл GNU Prolog лучшей свободной реализацией Пролога? :) Однако в целом и идейно (мне понравилась генерация кучи промежуточных файлов, связанных с машиной Уоррена) он неплох.

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

Если б еще в Java встраивалось, цены бы ему не было

Под это есть отдельный проект: GNU Prolog for Java. Последний релиз был в январе этого года.

kim-roader ★★ ()
Ответ на: комментарий от Pinkbyte

вам повезло. мы делали на досовом Turbo Prolog

Turbo Prolog - это, мягко говоря, совсем не тот пролог, который
мы знаем и любим. Под ДОС есть неплохая реализация пролога:
Arity Prolog, а вот изучать Turbo Prolog - это пустая трата
времени: ни пролог знать не будешь, ни полезного ничего не напишешь. :)

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

А какая разница дос или визуал или ещё что-то?

Разница огромна, если учесть, что чел говорил про Турбо Пролог,
который к классическому прологу имеет довольно косвенное
отношение.
Но, даже если брать нормальные реализации, типа Arity, то всё равно,
при программировании под ДОС, надо было учитывать, как минимум, то,
что стек совсем даже не бесконечен, и рекурсии слишком длинными не
делать, что, при программировании на прологе, является весьма
серьёзным ограничением.

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

А как Вы относитесь к преподаванию этого языка для студентов спец. АСОИУ?

keeper_b ★★★ ()

Вдобавок к сионистам, астматикам, жабакодерам и пасквилянтам будут теперь и ПРОктоЛОГи.

Napilnik ★★★★★ ()

Зачем prolog если есть erlang?

alx_me ★★☆ ()

Пролог vs CLIPS

А насколько Пролог перекроет CLIPS или LISA? (Я пока только интересуюсь, пока ваще не в теме)

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

Для общего развития вроде бы его и так всем айтишникам читают.

А какое должно быть отдельное отношение именно к АСОИУ? Дифференциация айтишных специальностей довольно надумана. Чего там изучать-то именно в АСОИУ, что не воткнул бы любой за пару-тройку недель?

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

В erlang от prolog синтаксис да паттерн-матчинг. В erlang выражение либо матчится, либо - нет. В prolog может перебираются возможные варианты унификации. Вообщем, разные они совсем.

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

А то, иначе бы не prolog тормозил бы, а erlang, чай не дураки делали. Предикатное исчисление что там что там, а насколько оно упрощено определается областью применения и, я уверен, параметрами запуска.

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

> Коддовский формализм реляционной алгебры и дизъюнкты Хорна. Казалось бы, что между ними общего?

Э-э-э… Логика первого порядка?

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

>>Логика первого порядка?

Угу, а еще одна арифметика натуральных чисел, одна аксиоматика множеств и одна Вселенная.

Речь о пересечении областей на практике. Если оно и есть, то явно не настолько полное, чтобы обеспечить взаимозаменяемость.

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

>>У GNU prolog есть только одно полезное преимущество - его constraint programming расширения.

У SWI лет пять как есть библиотека clpfd для таких задач. Понимает ограничения по Finite Domain любого типа.

mclaudt ()

Портирован? Уж года три назад на нем под виндой писал

po1s0n ()

Эх, сразу вспомнилось логическое программирование из универа.
Жаль, я тогда не знал про GNU Prolog. А то лабы делали под каким-то уродским компилятором под Windows.
Спасибо ТС за новость.

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

ну кагбе GUI тоже запрограммировать хочется. На Turbo Prolog ЕМНИП можно делать только консольные приложения.

Pinkbyte ★★★★★ ()

А в продакшене у нас где есть вакансии Prolog-программиста?

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