15 лет назад применил Пролог в боевом проекте.

Конкретно — Amzi! Prolog, тогда он был платным.

Что понравилось:
— нормальный Пролог, без расширений (вроде виртуальных предикатов как у Visual Prolog)
— встраивание в C++, то, что у них называется Logic Server API.
— Eclipse как среда, кросс-отладка — можно поставить останов в С++ и в Прологе и перемещаться между ними
— очень быстро получилось сделать прототип — на Прологе была его встроенная "БД" + "хранимые процедуры" — запросы к этой БД
— код работы с "БД" очень простой, понятный

Всё заработало, но закончилось всё печально

Вылезли проблемы с производительностью — оказалось, что по чтению из БД всё норм,
а вот когда надо взять сроку A, сложить со строкой B и покласть в БД и сделать так много-много раз — чудовищные тормоза...
Отчасти, как я понял с форумов, проблема в реализации этого Пролога — Virtual machine architecture.

Пришлось за 2 недели переписать этот прототип полностью на С++, сэмулировав интерфейс к Прологу и его работу.

Думаю, если бы взял бы другой Пролог, может всё и выгорело бы.
Хвалят этот Sicstus Prolog, но он дорогой.
И еще такой: Quintus Prolog.
Есть еще Datalog, к сожалению, не попробовал ничего с ним поделать.