"SWI-Prolog".
Я в дипломной работе его использовал. Большой "+" - он бесплатный, плюс разные библиотеки.
У других бывает скачаешь бесплатную версию, а в ней всё интересующее зарезано.
Если что-то серьезное делать, то несколько лет назад для этого советовали BinProlog