关于Prolog编程语言

写在前面：

    很久之前我曾经用java和c#实现逻辑语句的自动推理。当时，对整个计算机编程语言的发展历史并不清楚，也不知道曾经出现过哪些牛掰的语言以及对某些特定领域的影响。还曾经妄想，自己搞个编译器，发明一门属于自己的逻辑编程语言，甚至连语言的规则框架都自己做了设想。万万没想到，我的天真震惊了我自己。在深入编程语言的发展过程之后，发现早在几十年前，在计算机技术发展的早期就已经有大神搞了一个适用于自然语言和人工智能专家系统编程的逻辑编程语言&＃8212;Prolog。而那个年代，互联网还没有出现。当我看到Prolog的语法，我了个擦，简直就是看自己发明的语言似的。

    此文用来简单介绍Prolog的一些简单信息，以及当时对这门编程语言的具体应用。以后有机会的话，希望自己可以抽出时间，把各种编程语言的出现和发展历程，整理一下，给大家科普科普。以便大家从发展的观点来看编程语言的进化过程。也希望自己可以通过编程语言的发展过程，窥见计算智能最核心的本质。

关于Prolog的历史：

    Prolog这个名字是源自用逻辑编程的英文词缩写：Pro-gramming in Log-ic。 在20世纪60年代末的时候Aix-Marseille大学的Alain Colmerauer和 Philippe Roussel在Robert Kowalski的工作基础上（霍恩子句的过程化描述），开始了一门新的编程语言的创立。最终在1972年，正式宣布创立Prolog编程语言。该编程语言建立在一阶谓词逻辑的基础之上，有强烈的数学风格，和我们目前比较熟悉的面向对象的思路相比，有非常明显的差异。在20世纪6,70年代的时候，整个世界的计算机和数学专家大量的集中在类似的工作上。

    当时的欧洲，Prolog毫无疑问是最流行的语言，而在北美大陆，则有另一种函数式语言几乎垄断了整个人工智能领域的编程&＃8212;Lisp，而这个语言的创立人则是鼎鼎大名人工智能之父约翰·麦卡锡。自1972年Prolog发布以后，分支出多种Prolog的方言。最主要的两种方言为Edinburgh和Aix-Marseille。最早的Prolog解释器由Roussel建造，而第一个Prolog编译器则是 David Warren编写的。而在此之后，Prolog被全世界大范围的使用，日本政府曾经为了建造智能计算机而用Prolog来开发ICOT第五代计算机系统。在早期的机器智能研究领域，Prolog曾经是主要的开发工具。80年代Borland开发的Turbo Prolog，进一步普及了Prolog的使用。1995年确定了ISOProlog标准。

    虽然Prolog的后续发展并没有达到当时创立它时候的目标，但是却影响了后世很多不同的语言。而在其中目前最为著名的估计就是在大数据和并发领域牛掰掰的Erlang了吧。连名字的命名规则都是和Prolog一个妈生的。

关于Prolog的特点：

    这一部分呢，我只能简单说说，等我把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中，递归的功能得到了充分的体现，你甚至都会感到惊奇，递归居然有如此巨大的能力。

关于Prolog的一些问题：

    在看Prolog相关资料的时候，有一个很重要的特征始终贯穿其中。在用Prolog进行编程的时候，编程者并不需要对程序的内部流程和细节进行关注，具体的操作由计算机自行处理。而在其内部，Prolog本身使用的深度优先的遍历算法，还有着运行效率问题。而我们在用c进行编程的时候，最为熟悉的概念就是大O的概念。算法的复杂度，本身也成为一门专门的学科，很多时候，算法本身对很多程序的运行具有实质性的影响。

    其实具体的我也不知道，反正近期会把Prolog深入一下，看看能不能搞个demo出来耍耍。

写在最后：

    最后我要放一个经典的哲学问题，使用Prolog进行的求解程序，感觉刁刁的。

    
    Russell&＃8217;s paradox
    /* tstpx.pl */
    /* 罗素佯谬(罗素悖论)（皇帝新脑 罗杰.彭罗斯 p.120）会导致不停机(使得gprolog产生 stack overflow) */
    /* 在gprolog下之编译，例：gplc &＃8211;min-size tstpx.pl　*/     q:- px(_).
/* 找寻任何可使 px() rule 成立的方式 */     px(1):-\+ px(1).
/* 规定此rule不成立。 i.e. 此rule为假时此rule才为真 (佯谬）*/     :-initialization(q).
/* 启动q处goal */

&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;&＃8212;-
码字不易,与君共勉!