Prolog

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

Prolog logic programming language

简介

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

Prolog is ...

• a very simple language
• a declarative language
• a logic programming language
• a homoiconic language
• a very dynamic language
• a very versatile language.

The Power of Prolog

项目

• Awesome Prolog
• Prolog Topic
• GNU Prolog
• SWI-Prolog
• Erlog Prolog for an Erlang Application

图书

• Prolog Wikibooks

链接

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