PrologはまだAIで使用されていますか？

ウィキペディアによると、

Prologは、人工知能と計算言語学に関連付けられた汎用ロジックプログラミング言語です。

まだAIに使用されていますか？

_{これは、2014年のクローズドベータに関する質問に基づいています。著者のUIDは330でした。}

人工知能は最も長い間学術的な努力であったことを思い出して、プロローグはその研究と実装の一部として使用された初期の言語の一つでした。プロローグがNLPに使用されるワトソンでは有名な商用実装が行われていると言われていますが、大規模な商用アプリケーションにはほとんど採用されていません。

エジンバラ大学は、言語に貢献し、それが時には「エジンバラプロローグ」と呼ばれていました。それは、人工知能コースの一部として、そこの学術教育でまだ使用されています。

PrologがAIで強力であると考えられる理由は、この言語により、再帰的なメソッドとパターンマッチングを簡単に管理できるためです。

IBM Thomas J. Watson Research CenterのAdam LallyとStony Brook UniversityのPaul Fodorを引用すると：

Prolog言語は非常に表現力があり、再帰的なルールが解析ツリーの到達可能性を表現し、条件の不在をチェックするための失敗としての否定の操作を可能にします。

はい、他の回答で述べたように、Prologは実際にIBM Watsonで使用されています。Prologは最近ではあまり「誇大広告」や「話題」になりませんが、それでも絶対に使用されています。いつものように、それはそれが輝く特定の特定の領域、およびその使用にうまくマッピングする特定のテクニックを持っています。具体的には、帰納論理プログラミング、制約論理プログラミング、回答セットプログラミング、一部のNLPアプリケーションなどでは、Prologを広範囲に使用する必要があります。