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

http://prolog.hodroj.net/ ?

http://www.dcs.ed.ac.uk/home/jjc/psharp/psharp-1.1.3/dlpsharp.html ?

;) (ухожу, ухожу... :D )

А так:

* 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.

ОМФГ!!! И Пролог тоже задотнетили!!! Как страшно жить

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

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

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

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

За ссылки спасибо =) А какой из них больше подойдёт для учебы?

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

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

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

>то, что используется в вузе

там оффтопик скорее всего используется =(

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

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

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

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

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

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

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

под оффтопик есть прикольный гуёвый Visual Prolog: http://wiki.visual-prolog.com/index.php?title=Environment_Overview