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

从纯理论的角度来讲，Prolog是一种令人陶醉的编程语言，但是在这本书中还是着重介绍他的实际使用方法。

进入Prolog世界

和其他的语言一样，最好的学习方法是实践。这本书将使用Prolog的解释器来向大家介绍几个具体的应用程序的编写过程。

首先你应该拥有一个Prolog的解释器，你可以在免费prolog版本中找到它。关于解释器的使用，请参阅相关的使用说明文档，建议使用amzi prolog 或者swi prolog来运行本网站的程序。

逻辑编程

什么叫逻辑编程？也许你还没有一个整体的印象，还是让我们首先来研究一个简单的例子吧。运用经典的逻辑理论，我们可以说“所有的人（person）都属于人类（moral）”，如果用Prolog的语言来说就是“对于所有的X，只要X是一个人，它就属于人类。”

moral(X):-person(X).

同样，我们还可以加入一些简单的事实，比如：苏格拉底（socrates）是一个人。

person(socrates).

有了这两条逻辑声明，Prolog就可以判断苏格拉底是不是属于人类。在Prolog的Listener中键入如下的命令：

?-mortal(socrates). (此句中的’?-'是Listener的提示符，本句表示询问苏格拉底是不是属于人类。）

Linstener将给出答案：

yes

我们还可以询问，“谁属于人类？”

?-mortal(X).

我们会得到如下的答案：

X= socrates

这个简单的例子显示了Prolog的一些强大的功能。它能让程序代码更简洁、更容易编写。在多数情况下Prolog的程序员不需要关心程序的运行流程，这些都由Prolog自动地完成了。

当然，一个完整的程序不能只包括逻辑运算部分，还必须拥有输入输出，乃至用户界面部分。很遗憾，Prolog在这些方面做得不好，或者说很差。不过它还是提供了一些基本的方法的。下面是上述的程序一个完整的例子。
% This is the syntax for comments. % MORTAL - The first illustrative Prolog
program mortal(X) :- person(X). %在实践中需要去掉前面的program 否则会报错undifined procedure
person(socrates).
person(plato).
person(aristotle).
mortal_report:-
write(‘Known mortals are:’),nl, mortal(X), write(X),nl,
fail.

把下面代码存为 test.pl
mortal(X) :- person(X).
person(socrates).
person(plato).
person(aristotle).
mortal_report:-write(‘Known mortals are:’),nl, mortal(X), write(X),nl,fail.

用swi-Prolog打开test.pl, 运行结果如下
?- mortal_report.
Known mortals are:
socrates
plato
aristotle
false.

2019-01-01 雪梨