SICStus и LPA Prolog приводят отдельные клиентские приложения, которые звучат очень серьезно, например:
Clarissa, полностью управляемый голосом браузер процедур, разработанный отделом интеллектуальных систем НАСА.
Алгоритм формирования заказов на выдачу лекарств для инструментов анализа последовательностей компании Pyrosequencing, использующий программирование ограничений с помощью SICStus.
Логистические приложения компании RedPrairie.
Источник:
SWI Prolog утверждает 10 000 загрузок в месяц , так что кто-то должен использовать его для чего-то.
Возможно, вы захотите посетить Практикум коммерческих пользователей по логическому программированию, чтобы узнать.
Cisco долгое время владела платформой ECLiPSe (в конечном итоге выпустила ее как открытый исходный код) и использует ее для приложений поддержки принятия решений по управлению сетью.
Visual Prolog продал свои коммерческие лицензии за 299 евро
Так что должны быть какие-то прибыльные проекты.
См. Также Центр разработки Prolog
Проект Cyc использует язык, который, насколько я знаю, очень похож на Prolog. По их словам, основная причина, по которой они не используют Prolog, заключается в том, что он не масштабируется до размеров баз данных, с которыми они имеют дело.
Так что, хотя это и не прямой ответ на ваш вопрос, я думаю, что это может удовлетворить мысль "используется ли Prolog для сериалов".
Дополнительная информация:
Я работаю над промышленными / коммерческими приложениями Prolog с 1980-х годов. К ним относятся: приложения естественного языка (Lockheed), CASE (Knowledgeware), компиляторы (Quintus), приложения колл-центра (Quintus), управление событиями (IBM DataHub, Tivoli), интеллектуальный анализ текста (Price Waterhouse, Kaidara), а теперь и снова Event Managment. (Программное обеспечение BMC).
Если у вас есть возможность выучить это, сделайте это. Нет ничего подобного. К сожалению, рабочие места в нем так же редки, как куриные зубы. Если вы хотите работать с красивым языком, имеющим некоторую тягу, подумайте о Scala.