Какие современные приложения используют пролог для разработки?

Некоторые современные приложения, для разработки которых используется язык Prolog:

• IBM Watson. 1 Система создавалась как помощник для экспертов, предназначенный для упрощения нахождения определённых данных или для поиска ответов на простые вопросы. 1 Prolog использовался для разбора текстов на естественном языке и для перевода вопросов, задаваемых людьми, в форму, понятную Watson. 1
• GeneXus. 1 Low-code-платформа, которая применяет Prolog для трансформации описаний нужного функционала в код приложений. 1
• Расширенные поисковые системы. 25 Такие системы не просто занимаются поиском текста, но и играют роль программного комплекса, который умеет извлекать информацию из большой выборки текстовых файлов, а затем вести диалог с пользователем. 25
• Приложения в областях экспертных систем, планирования, машинного обучения. 2 Также с помощью Prolog реализован «искусственный интеллект» игр. 2

Prolog обычно используется не в качестве основного языка, а в качестве языка для разработки некоторой части системы. 25