LINUX.ORG.RU
Форум — Development  

Посоветуйте интерпретатор для ПРОЛОГа


0

0

Здравствуйте, уважаемые ЛОРовцы!

В грядущем семестре у нас по программе ПРОЛОГ, ищу какой нибудь дельный интерпретатор/компилятор/etc для него.
В репозитории Debian я нашёл gprolog (GNU Prolog) и swi-prolog.

Как мне показалось из описаний, второй функциональнее (?)
Каковы ваши мнения? Что можете посоветовать?

★
← На чем изучать инициализацию ОС?
getopt задать диапазон вида n-m →

Ответ на: комментарий от KRoN73 

А так:

* dev-lang/gprolog
     Available versions:  1.3.0-r1 {debug doc examples}
     Homepage:            http://www.gprolog.org/
     Description:         GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD)

* dev-lang/swi-prolog
     Available versions:  5.6.49 ~5.6.50 ~5.6.51 ~5.6.52 ~5.6.54 ~5.6.55 ~5.6.57 ~5.6.58 ~5.6.59 {X berkdb debug doc elibc_FreeBSD gmp hardened java latex minimal odbc readline ssl static test threads zlib}
     Homepage:            http://www.swi-prolog.org/
     Description:         free, small, and standard compliant Prolog compiler

* dev-lang/tuprolog
     Available versions:  2.1 {doc elibc_FreeBSD test}
     Homepage:            http://www.alice.unibo.it/tuProlog/
     Description:         tuProlog is a light-weight Prolog for Internet applications and infrastructures

* dev-lang/yap
     Available versions:  5.1.1 ~5.1.2 ~5.1.3 {debug doc elibc_FreeBSD examples gmp java mpi mysql odbc readline static threads tk}
     Homepage:            http://www.ncc.up.pt/~vsc/Yap/
     Description:         YAP is a high-performance Prolog compiler.

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

>ОМФГ!!! И Пролог тоже задотнетили!!!

Угу. Ты оцени список: http://www.dotnetpowered.com/languages.aspx

>Как страшно жить

Вот я уже голову ломаю, не стоит ли JBForth2 свой делать сразу под две платформы на манер Scala :) Хотя если я с JVM примерно разобрался, то к .NET пока даже не подходил... А пока их не сравнишь близко, трудно делать выводы о возможности универсальной реализации.

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

Без понятия. Я первый и последний раз с Прологом играл лет 17 назад :)

KRoN73 ★★★★★
()

swi-prolog очень хорош. afaik, он один из лучших интерпретаторов пролога вообще. однако между разными реализациями пролога существует довольно большая разница в библиотеках. так что проще использовать то, что используется в вузе.

anonymous
()

Я довольно плотно программировал на Голландском SWI Prolog в году эдак 1997-1998. Самое оно для твоих целей.

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

без проблем - swi prolog есть как под linux, так и под винды

anonymous
()

Мы на практикуме использовали swi-prolog

Legioner ★★★★★
()

Пользовал swi - нормально, начни с него.

anonymous
()

оке, ставлю пока swi, спасибо всем откликнувшимся:)

mint ★
() автор топика

Они могут иметь несколько разный синтаксис. У нас, например, использовали turbo prolog лохматых годов, который несовместим ни с чем, кроме себя :) Поэтому замены ему не было по определению.

Лучше посмотри, какой пролог в ВУЗе используют.

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

Эээх, такая же проблема, и, видимо, будет Turbo Prolog :(

fukazzz
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.
← На чем изучать инициализацию ОС?
Development
getopt задать диапазон вида n-m →