Prolog是否仍在AI中使用？

根据维基百科，

Prolog是与人工智能和计算语言学相关的通用逻辑编程语言。

它仍然用于AI吗？

_{这是基于2014年内测版的一个问题得出的。作者的UID为330。}

记住人工智能在很长一段时间以来一直是学术上的努力，因此Prolog成为了研究和实现人工智能的早期语言之一。它很少进入大型商业应用程序，据说在Watson中有一个著名的商业实现，其中prolog用于NLP。

在爱丁堡大学促成了语言，它有时也被称为“爱丁堡序言”。它仍然被用作人工智能课程的一部分在学术教学中使用。

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

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

Prolog语言的表达能力很强，它允许递归规则表示解析树中的可到达性，并且通过否定否定操作来检查条件是否缺失。

是的，如其他答案所述，Prolog实际上在IBM Watson中使用。如今，Prolog并没有太多“炒作”和“嗡嗡”声，但绝对仍在使用。与往常一样，它具有特定的用途，并具有与之匹配的特定技术。具体来说，诸如归纳逻辑编程，约束逻辑编程，答案集编程和某些NLP应用之类的事情可能涉及Prolog的广泛使用。