Відповіді:
Пам’ятаючи, що штучний інтелект довгий час був академічним завданням, Пролог був однією з ранніх мов, що використовувались як частина вивчення та впровадження його. Він рідко пробивався у великі комерційні програми, сказавши, що відома комерційна реалізація знаходиться у Ватсоні, де пролог використовується для NLP .
Единбурзький університет сприяв мови і іноді згадується як «Edinburgh Prolog». Він все ще використовується в академічному навчанні як частина курсу штучного інтелекту.
Причина, чому Prolog вважається потужним в AI, полягає в тому, що мова дозволяє легко керувати рекурсивними методами та узгодженням шаблонів.
Цитувати Адама Лаллі з дослідницького центру IBM Thomas J. Watson та Пола Фодора з Університету Stony Brook :
мова Prolog дуже експресивна, що дозволяє рекурсивним правилам представляти доступність у деревах розбору та функціонуванні заперечення як відмови для перевірки відсутності умов.
Так, як згадується в інших відповідях, Prolog фактично використовується в IBM Watson. Пролог в наші дні не отримує великого "шуму" та "гудіння", але він все ще використовується. Як завжди, у нього є певні конкретні області, де він сяє, і конкретні прийоми, які добре відображають його використання. В Зокрема, такі речі , як індуктивна логіка програмування , Constraint Logic Programming , Answer Set Programming і деякі NLP додатки можуть включати в себе широке використання Прологу.