>>70
SWI-Prologを推薦しておきます。長所は多々ありますが、
現在のProlog言語の欠点は、
・ライブラリが豊かとはいえない。
・他の言語を勉強する気がなくなる。
といったところでしょうか。