В 2007 году я запустил классические тесты Prolog (такие программы, как queens
, tak
, qsort
, nrev
и т. Д.) Для четырех реализаций Prolog, написанных на Java: tuProlog , JIProlog , JLog и JavaLog . Общая самая быстрая реализация была JLog. Все подробности можно найти в статье, принятой на SAC 2008 .
Я бы посоветовал вам взглянуть и на jTrolog , который официально родился после того, как я измерил производительность других движков Prolog на основе Java. Возможно, PrologCafe тоже может быть интересен.
Обратите внимание, однако, что я не проинформирован о состоянии обслуживания любого из них. Тщательно выбирайте, если вам нужна какая-либо поддержка со стороны соответствующих авторов.