标读“逻辑编程语言（Programming in Logic）”

        Prolog（Programming in Logic的缩写）是一种逻辑 编程语言 。它建立在 逻辑学 理论基础之上，最初被运用于 自然语言 等研究领域。现在它已广泛的应用在 人工智能 的研究中，它可以用来建造专家系统、 自然语言理解 、智能知识库等。同时它对一些通常的 应用程序 的编写也很有帮助。使用它能够比其他的语言更快速地开发程序，因为它的编程方法更象是使用逻辑的语言来描述程序。

历史

　　Prolog语言最早由Aix-Marseille大学的Alain Colmerauer与Phillipe Roussel等人于60年代末研究开发。1972年被公认为是Prolog语言正式诞生的年份，自1972年以后，分支出多种Prolog的方言。最主要的两种方言为Edinburgh和Aix-Marseille。最早的Prolog 解释器 由Roussel建造，而第一个Prolog 编译器 则是 David Warren编写的。

　　Prolog一直在 北美 和 欧洲 被广泛使用。日本政府曾经为了建造智能计算机而用Prolog来开发ICOT第五代 计算机 系统。在早期的机器智能研究领域，Prolog曾经是主要的开发工具。

　　80年代 Borland 开发的Turbo Prolog，进一步普及了Prolog的使用。1995年确定了 ISO Prolog标准

　　目前比较流行的实现工具包括 SWI-Prolog, Yap 等

prolog的几个特点

　　1. prolog程序没有特定的运行顺序，其运行顺序是由电脑决定的，而不是编程序的人。

　　从这个意义上来说，prolog程序不是真正意义上的程序。所谓程序就是按照一定的步骤运行的计算机指令，而prolog程序的运行步骤不由人来决定。它更像一种描述型的语言，用特定的方法描述一个问题，然后由电脑自动找到这个问题的答案。举个极端的例子，你只需要把某个数学题目告诉它，它就会自动的找到答案，而不像使用其他的语言一样，必须人工的编制出某种算法。

　　2. prolog程序中没有if、when、case、for这样的控制流程语句

　　前面已经说了，程序的运行方式由电脑自己决定，当然就用不到这些控制流程的语句了。通常情况下，程序员不需要了解程序的运行过程，只需要注重程序的描述是否全面，不过prolog也提供了一些控制流程的方法，这些方法和其他语言中的方法有很大的区别，在以后的学习当中能够融会贯通。

　　3. prolog程序和数据高度统一

　　在prolog程序中，是很难分清楚哪些是程序，哪些是数据的。事实上，prolog中的所有东西都有相同的形式，也就是说数据就是程序，程序就是数据。举一个其他语言的例子：如果想用 c语言 编写一个计算某个数学表达式的程序很简单(比如：a=2+5*4)，因为这是一段程序。但是如果想编写一个计算用户输入的表达式的值的程序就很困难了。因为用户输入的是一段数据(字符串)，如果想让c语言处理这个字符串，就需要很多方面的技术。因为，在c语言中，程序和数据是分开的。而在prolog就不存在这个问题，你甚至可以很轻松的编写处理其它prolog程序的程序。

　　4. prolog程序实际上是一个智能数据库

　　prolog的原理就是关系数据库，它是建立在关系数据库的基础上的。在以后的学习中，你会发现它和 SQL数据库 查询语言有很多相似之处。使用prolog可以很方便的处理数据。

　　5. 强大的递归功能

　　在其它的语言中，你也许已经接触过递归程序了。递归是一种非常简洁的方式，它能够有效的解决许多难题。而在prolog中，递归的功能得到了充分的体现，你甚至都会感到惊奇，递归居然有如此巨大的能力。

 

http://baike.baidu.com/view/459700.htm