Сабж. Различных извращений типа маппинга ява-пролог и стандартной библиотеки пролога не требуется. Можно интерпретатор.
http://www.is-research.de/info/vmlanguages/tag/logic-programming/ http://www.ugosweb.com/jiprolog/index.aspx
вот только что в ru_declarative было: http://igormaznitsa.com/projects/prol/index.html
Спасибо за ссылки, познавательно
Может стоит посмотреть в сторону Mercury ? У него правда поддержка джавы на бета стадии пока.
http://en.wikipedia.org/wiki/Mercury_(programming_language)
О Сервере - Правила форума http://www.linux.org.ru/