Так, поискав по ЛОРу понял, что одна из нормальных реализаций пролога - swi-prolog. Его и попробую для своих мелких лаб в универе. Вопрос - а что почитать по прологу? Хочется понять концепт+синтаксис. Можно на english.
На сайте swi-prolog есть хорошая документация. Стандартные рекомендации: Братко, Шапиро. Есть еще встраиваемый Yield Prolog - и притом очень быстрый. Для мелких лаб вам вобще должно быть пофигу какой из прологов использовать