1、Prolog(Programmingin LOGic)(逻辑编程)
它是建立在逻辑学的理论基础之上的,最初是运用于自然语言的研究领域。然而现在它被广泛的应用在人工智能的研究中,它可以用来建造专家系统、自然语言理解、智能知识库等。它对一些通常的应用程序的编写也很有帮助。使用它能够比其他的语言更快速地开发程序,因为它的编程方法更象是使用逻辑的语言来描述程序。
2、Prolog特点:
a、超高级语言
b、说明性语言(对于某些问题)只是告诉计算机要做什么
c、表达力强
d、坚实的数学基础---一阶谓词逻辑
e、自动回溯
f、支持递归调用
g、广泛应用于AI领域
相关的Prolog教程:http://www.vapsec.com/html/ziyuan/book/2013/0203/89.html