Prolog

您可以在Wikipedia上了解到此条目的英文信息 Prolog Thanks, Wikipedia.

Prolog（Programming in Logic的缩写）是一种逻辑编程语言。它创建在逻辑学的理论基础之上， 最初被运用于自然语言等研究领域。现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。

实现

• GNU Prolog
• SWI-Prolog

图书

• Prolog Wikibooks

链接

• 为什么说学习Prolog语言能让你成为更好的程序员