Здравствуйте, уважаемые ЛОРовцы!
В грядущем семестре у нас по программе ПРОЛОГ, ищу какой нибудь дельный интерпретатор/компилятор/etc для него.
В репозитории Debian я нашёл gprolog (GNU Prolog) и swi-prolog.
Как мне показалось из описаний, второй функциональнее (?)
Каковы ваши мнения? Что можете посоветовать?