初识Prolog

对Prolog的初步了解

刚接触Prolog，对其能做的事甚感兴趣。

严格来说，我不认为这是程序，因为它执行哪一步不是由人来确定的，好像是有了初级的“智能”。

你定义一些规则，然后提出一个问题，它就会按这些规则来找答案。

比如有如下规则：

         father(X,Y).  % X是Y的father

         %X是Z的grandfather的条件是：X是Y的father并且Y是Z的father

         grandfather(X,Z)      :-       father(X,Y),father(Y,Z).

然后提出以下事实：

         father(tom,jerry).

         father(jack,tom).

接着提出问题

         ?-grandfather(Who, jerry). % 谁是jerry的grandfather

程序就会按照规则去找，并输出结果

         Who= jack .

是不是给人一种新奇的感觉，程序竟然能自己找答案！

但现在用Prolog人工智能的并不多，肯定有其原因，所以我打算细细探究一番。

 

开发软件介绍

龙涎在其博客中介绍了七种Prolog的编译器/解释器。我在Win7 64位系统上试了三种工具，VisualProlog, Amzi Prolog和SWI prolog。只有Visual Prolog和SWI prolog能正常运行，Amzi Prolog一直出问题，原因还未查到。

Visual Prolog有较好的IDE，但是编程时需要对谓词以及数据类型进行声明，较为复杂和繁琐。而SWI prolog则要简单得多，只需说明规则和事实，然后提出问题即可。下面说一下SWI prolog如何使用。

 

SWI prolog使用

1.下载及安装

SWI prolog官网是http://www.swi-prolog.org/

Windows各种版本的下载地址是http://www.swi-prolog.org/download/daily/bin/

根据自己情况选择一个下载，我使用的w64pl-2014-12-09.exe

然后直接安装，安装过程中会提示将".pl"文件与编译器关联（一般选择与swipl\bin目录下的swipl-win.exe进行关联）。

 

2. 开始第一个程序

新建一个文本文件，命名为"first.pl"(名字可随意更改，只需保证后缀为.pl即可), 然后对其进行编辑，我是用的是Notepad++.

在里面写如下代码后保存。

/*****************************************************************************/

% 规则

% father(X,Y).  % X是Y的father

% X是Z的grandfather的条件是：X是Y的father并且Y是Z的father

grandfather(X,Z) :-

         father(X,Y),father(Y,Z).

% 事实

father(tom, jerry).

father(jack, tom).

/*****************************************************************************/

 

之后直接双击" first.pl "，会出现一个对话窗口，如下所示：

 

在光标后输入问题：grandfather(Who, jerry).

按回车键后就会出现结果。

至此，第一个程序完成。