вы уверены что вам нужен весь пролог
для фрибсд портирован отличный вариант пролога с табло-резолюцией XSB
у него есть модуль интегрирующий с "базами данных"

мой опыт работы с XSB очень положительный
так как табло резолюция позволяет не думать о "циклах"
и имплементация очень быстрая
плюс всякие настройки над ней как Ф-логика если вам нравятся объектно ориентированные расширения

"вы уверены что вам нужен весь пролог"
Весь вряд ли - моя задача достаточно проста.

"для фрибсд портирован отличный вариант пролога с табло-резолюцией XSB"
Спасибо, буду искать в Сети.

"плюс всякие настройки над ней как Ф-логика если вам нравятся объектно ориентированные расширения"
О, совсем хорошо - ООП мне нравится и сам по себе.

Большое спасибо !

http://xsb.sourceforge.net/
при инсталляции три года назад мне понадобилось потратить много времени
так как он не хотел ставиться прямо на мою версию линукса, и надо было настраивать
сейчас вроде все такие проблемы решили и ставиться легко на линкус и фрибсд