prolog语言

prolog解释器的提示符号为“?-”

lovers(X,Y):-love(X,Y),love(Y,X).

逻辑编程 什么叫逻辑编程？也许你还没有一个整体的印象，还是让我们首先来研究一个简单的例子吧。运用经典的逻辑理论，我们可以说“所有的人（person）都属于人类（moral）”，如果用 Prolog 的语言来说就是“对于所有的 X，只要 X 是一个人，它就属于人类。” moral(X):-person(X). 同样，我们还可以加入一些简单的事实，比如：苏格拉底（socrates）是一个人。person(socrates).有了这两条逻辑声明，Prolog 就可以判断苏格拉底是不是属于人类。在 Prolog 的 Listener 中键入如下的命令：

?-mortal(socrates). (此句中的’?-'是 Listener 的提示符，本句表示询问苏格拉底是不是属于人类。） Linstener 将给出答案： yes我们还可以询问，“谁属于人类？” ?-mortal(X). 我们会得到如下的答案： X= socrates

事实 (facts)
事实（facts）是 prolog 中最简单的谓词（predicate）。它和关系数据库中的记录十分相似。在下一章中我们会把事实作为数据库来搜索。

谓词： Prolog 语言的基本组成元素，可以是一段程序、一个数据类型或者是一种关系。它由谓词名和参数组成。两个名称相同而参数的数目不同的谓词是不同的谓词。 事实的语法结构如下： pred(arg1, arg2, … argN).其中 pred 为谓词的名称。arg1，…为参数，共有 N 个。
‘.’是所有的 Prolog 子句的结束符。没有参数的谓词形式如下： pred. 参数可以是以下四种之一：
· 整数（integer)· 绝对值小于某一个数的正数或负数。
· 原子（atom）· 由小写字母开头的字符串。
· 变量（variable）· 由大写字母或下划线（_）开头。
· 结构（structure）· 在以后的章节介绍。 不同的 Prolog 还增加了一些其他的数据类型，例如浮点数和字符串等。

Prolog 字符集包括：
大写字母，A-Z；小写字母，a-z；数字，0-9；±/^,.~:.?#$等。
原子通常是字母和数字组成，开头的字符必须是小写字母。例如：

hello twoWordsTogetherx14