记住人工智能长期以来一直是一项学术努力，Prolog 是早期用于研究和实施人工智能的语言之一。它很少进入大型商业应用程序，话虽如此，一个著名的商业实现是在Watson 中，prolog 用于 NLP。

爱丁堡大学为这门语言做出了贡献，它有时被称为“爱丁堡序言”。作为人工智能课程的一部分，它仍然在那里的学术教学中使用。

Prolog 在 AI 中被认为功能强大的原因是该语言允许轻松管理递归方法和模式匹配。

引用IBM Thomas J. Watson 研究中心的 Adam Lally和石溪大学的 Paul Fodor 的话：

Prolog 语言非常富有表现力，允许递归规则表示解析树中的可达性，并使用否定作为失败的操作来检查条件的缺失。

是的，正如其他答案中提到的，Prolog 实际上用于 IBM Watson。Prolog 这些天并没有得到太多的“炒作”和“嗡嗡声”，但它绝对仍在使用。与往常一样，它具有某些特定的发光区域，以及可以很好地映射到其使用的特定技术。具体来说，归纳逻辑编程、约束逻辑编程、答案集编程和一些NLP应用程序可能涉及 Prolog 的广泛使用。