prolog中文教程及语法规则
前言
如果你是一位prolog的新手，希望你首先阅读这篇文章，好对prolog的全局有个了解，本文将详细介绍prolog学习流程编程思路上以及prolog语法细节。
首先，问一个基础的问题：我们已经在prolog程序中看到了很多类型的表达式（比如，jody，playsairguitar（mia），和x），但这些仅仅只是例子，是时候更加深入了，到底事实、规则和查询是由什么构成的？
答案就是语句（terms），在prolog中一共存在四种类型的语句：原子，数字，变量和复杂语句（或者称为结构）.原子和数字统称为常量，常量和变量统称简单语句.
首先要明确基础的字符的范围：大写字母：a，b，...，z；小写字母：a，b，...，z；数字：0，1，2，...，9.另外还包括“_”，即英文下划线字符；和其他一些特殊英文字符，比如：+，-，*，/，《，》，=，：，.，&，~；空格也是字符，但是不常用，并且也不可见.字符串是指没有切断的字符序列.
原子（atoms）
一个原子是以下情况之一：
1. 由字符构成的字符串，其中有效字符包括：大字字母，小写字母，数字，和下划线，并且是小写字母作为头字符.一些例子：butch，big_kahuna_burger，listen2music，playsairguitar.
2. 使用单引号封装的字符序列.比如：‘vincent’，‘the gimp’，‘five_dollar_shake’，‘&^%%@# *’，‘ ’.被单引号封装的字符序列被称为原子名.注意我们已经使用了空格字符，
事实上，使用单引号封装，其中的一个作用就是可以在原子中精确地使用类似空格字符这样的特殊字符.
3. 特殊字符组成的字符串.比如：@=，====》，;，：-等都是原子.正如我们看到的，一些特殊原子，比如;（逻辑或），：-（规则中连接头部和主干的符号）已经有预定义的含义.
数字（numbers）
在典型的prolog程序中，实数并不是很有用武之地.所以虽然大多数prolog的实现都支持浮点数，但是本文不讨论.
但是整数（比如：-2，-1，0，1，2，...）却十分有用，比如在计算列表的元素数目之类的工作时候，我们将会在第5章详细介绍.prolog中数字的表示很简单，没有什么特殊，如下：
23， 1001， 0， -365， 等等.
变量（variables）
变量是由大写字母，小写字母，数字和下划线组成的字符串，并且头字母必须是大写字母或者下划线.比如：
x， y， variable， _tag， x_526， list， list24， _head， tail， _input， output
都是prolog中有效的变量.变量”_“是一个特例，它被称为匿名变量，我们将会在第4章中介绍.
复杂语句（complex terms）
常量，数字，和变量都是构建语句的模块，现在我们学习如何将它们组成复杂语句.复杂语句也称为结构体.
复杂语句由一个函子（functor，也可以理解为函数名）和一个参数序列构成.参数序列放在小括号内，由英文逗号分隔，并且是放在函子后面.请注意函子后面必须紧跟参数序列，
中间不能有空格.函子必须是一个原子，即，变量不能用作函子.另一方面，参数序列可以是任何类型的语句.
从kb1到kb5，我们已经看到了许多复杂语句的例子.比如，playsairguitar（jody）就是一个复杂语句，其中playsairguitar是函子，jody是参数序列（只有一个参数）.另一个
例子是loves（vincent， mia），loves是函子，vincent和mia是参数序列；再比如一个包含了变量的例子：jealous（marsellus， w）.
（注：函子和谓词由一定区别，我的理解是：函子是谓词的名字，谓词包含了函子及其参数序列，是整个逻辑的实现统一体.）
但是，复杂语句的定义可以允许更为复杂的情况.事实上，在复杂语句中，也可以内嵌其他复杂语句（就是说，复杂语句允许递归）.比如：
hide（x， father（father（father（butch））））.
就是一个完美的符合定义的复杂语句.它的函子是hide，有两个参数：一个是变量x，另外一个是复杂语句，father（father（father（butch）））.这个复杂语句组成是：函子是father，
另外一个复杂语句，father（father（butch））是其唯一的参数.里层的复杂语句的参数依然是一个复杂语句：father（butch）.但是到了嵌套的最里层，参数就是一个常量：butch.
实际上，这种嵌套（递归结构）使得我们可以自然地描述很多问题，而且这种递归结构和变量合一之间的互相作用，正是prolog强有力的武器.
复杂语句的参数个数称为元数（arity）.比如，woman（mia）是一个元数为1的复杂语句，loves（vincent， mia）是一个元数为2的复杂语句.
元数对于prolog很重要.prolog允许定义函子相同但是元数不同的复杂语句.比如，我们可以定义两个参数的loves谓词，loves（vincent， mia）；也可以定义三个参数的loves谓词，
loves（vincent， marsellus， mia）.如果我们这么做了，prolog会认为这两个谓词是不同的.在第5章中，我们将会看到定义相同函子但是元数不同的具体应用.
当我们需要提及定义的谓词，介绍如何使用它们的时候（比如，在文档中），惯例是”函子/元数“这种形式.回到kb2，我们有三个谓词，之前的表达如下：
listen2music
happy
playsairguitar
使用正式的书写方式如下：
listen2music/1
happy/1
playsairguitar/1
prolog不会因为定义了两个loves谓词而迷惑，它会区分loves/2和loves/3是不同的谓词.
#p##e#
prolog 的程序 prolog 程序一般由一组事实、规则和问题组成.问题是程序执行的起点，称为程序的目标.
我们首先写出一个 prolog 的程序，如下：（为引用方便起见，我们把这个程序成为“程序0”）
likes（bell， sports）.
likes（mary， music）.
likes（mary， sports）.
likes（jane， smith）.
friend（john， x）：- likes（x， reading）， likes（x， music）.
friend（john， x） ：- likes（x， sports）， likes（x， music）. ？- friend（john， y）.
接下来我们分析一下这个程序：
可以看出，这个程序中有四个事实、两条规则和一个问题.其中事实、规则和问题都分行书写；规则和事实可连续排列在一起，其顺序可随意安排，但同一谓词名的事实或规则必须集中排列在一起；问题不能与规则及事实排在一起，它作为程序的目标要么单独列出，要么在程序运行时临时给出.
这个程序的事实描述了一些对象（包括人和事物）间的关系；而规则则描述了 john 交朋友的条件，即如果一个人喜欢读书并且喜欢音乐（或者喜欢运动和喜欢音乐），那么这个人就是 john 的朋友（当然，这个规则也可看做 john 朋友的定义）；程序中的问题是“约翰的朋友是谁？”
prolog 程序中的目标还可以变化，也可以含有多个语句（上例中只有一个）.如果有多个语句，则这些语句称为子目标.例如对上面的程序，其问题也可以是：
？-likes（mary， x）.
或 ？-likes（mary， music）.
或 ？-friend（x， y）.
或 ？-likes（bell， sports）， likes（mary， music）， friend（john， x）.
等.但对于不同的问题，程序运行的结果一般是不一样的.
还需说明的是，prolog程序中的事实或规则一般称为它们对应谓词的子句.例如，上面程序中的前4句都是谓词 likes 的子句. prolog 规定，同一谓词的子句应排在一起.从语句形式和程序组成来看， prolog 就是一种基于 horn 子句的逻辑程序.这种程序要求用事实和规则来求证询问，即证明所给出的条件子句和无条件子句与目标子句是矛盾的，或者说程序中的子句集是不可满足的.这就是所谓的 prolog 的说明性语义.
从 prolog 的语句来看， prolog 语言的文法结构相当简单.但由于它的语句是 horn 子句，而 horn 子句的描述能力是很强的，所以 prolog 的描述能力也是很强的.例如，当它的事实和规则描述的是某一学科的公理，那么问题就是待证的命题；当事实和规则描述的是某些数据和关系，那么问题就是数据查询语句；当事实和规则描述的是某领域的知识，那么问题就是利用这些知识求解的问题；当事实和规则描述的是某初始状态和状态变化规律，那么问题就是目标状态.所以， prolog 语言实际是一种应用相当广泛的智能程序设计语言.从上面最后一个目标可以看出，同过程性语言相比，对于一个 prolog 程序，其问题就相当于主程序，其规则就相当于子程序，而其事实就相当于数据.
prolog 程序的运行机理 要想了解 prolog 的运行机理，首先需要了解几个基本概念.
1、自由变量与约束变量
prolog中把无值的变量称为自由变量，有值的变量称为约束变量.一个变量取了某值就说该变量约束于某值，或者说该变量被某值所约束，或者说该变量被某值实例化了.在程序运行期间，一个自由变量可以被实例化而成为约束变量，反之，一个约束变量也可被解除其值而成为自由变量.
2、匹配合一
两个谓词可匹配合一，是指两个谓词的名相同，参量项的个数相同，参量类型对应相同，并且对应参量项还满足下列条件之一.
如果两个都是常量，则必须完全相同.
如果两个都是约束变量，则两个约束值必须相同.
如果其中一个是常量，一个是约束变量，则约東值与常量必须相同.
至少有一个是自由变量.
例如下面的两个谓词：
prel（“ob1”， “ob2”， z）
prel（“ob1”， x， y）
只有当变量 x 被约束为”ob2”，且 y、z 的约束值相同或者至少有一个是自由变量时，它们才是匹配合一的.
prolog 的匹配合一，与归结原理中的合一的意思基本一样，但这里的合一同时也是一种操作.这种操作可使两个能匹配的谓词合一起来，即为参加匹配的自由变量和常量，或者两个自由变量建立一种对应关系，使得常量作为对应变量的约束值，使得两个对应的自由变量始终保持一致，即若其中一个被某值约束，则另一个也被同一值约束；反之，若其中一个的值被解除，则另一个的值也被解除.
3、回溯
所谓回溯，就是在程序运行期间，当某一个子目标不能满足（即谓词匹配失败）时，控制就返回到前一个已经满足的子目标（如果存在的话），并撤销其有关变量的约束值，然后再使其重新满足.成功后，再继续满足原来的子目标.如果失败的子目标前再无子目标，则控制就返回到该子目标的上一级目标（即该子目标谓词所在规则的头部）使它重新匹配.回溯也是 prolog 的一个重要机制.
不懂没关系，下面有例子，看完这个 prolog 程序的运行过程就懂了.
有了上面的基本概念，下面就介绍所 prolog 程序的运行过程.我们仍以上面给出的 prolog 程序“程序0”为例.
设所给的询问是：
？-friend（john， y）. （john和谁是朋友？）
则求解目标为：
friend（john， y）.
这时，系统对程序进行扫描，寻找能与目标谓词匹配合一的事实或规则头部.显然，程序中前面的 4 个事实均不能与目标匹配，而第 5 个语句的左端即规则为：
friend（john， y） ：- likes（x， reading）， likes（x， music）.
的头部可与目标谓词匹配合一.但由于这个语句又是一个规则，所以其结论要成立则必须其前提全部成立.于是，对原目标的求解就转化为对新目标：
likes（x， reading）， likes（x， music）.
的求解.这实际是经过归结，规则头部被消去，而目标子句变为：
？- likes（x， reading）， likes（x， music）.
现在依次对子目标：
likes（x， reading）和 likes（x， music）
求解.
子目标的求解过程与主目标完全一样，也是从头对程序进行扫描，不断进行测试和匹配合一等，直到匹配成功或扫描完整个程序为止.
可以看出，对第一个子目标 like（x， reading）的求解因无可匹配的事实和规则而立即失败，进而导致规则：
friend（john， x） ：- likes（x， reading）， likes（x， music）.
的整体失败.于是，刚才的子目标：
likes（x， reading）和 likes（x， music）
被撤销，系统又回溯到原目标 friend（john， x）.这时，系统从该目标刚才的匹配语句处（即第 5 句）向下继续扫描程序中的子句，试图重新使原目标匹配，结果发现第 6 条语句的左部，即规则
friend（john， x） ：- likes（x， sports）， likes（x， music）.
的头部可与目标谓词匹配.但由于这个语句又是一个规则，于是，这时对原目标的求解就又转化为依次对子目标：
likes（x， sports）和 likes（x， music）
的求解.这次子目标 likes（x， sports）与程序中的事实立即匹配成功，且变量 x 被约束为 bell.于是，系统便接着求解第 2 个子目标.由于变量 x 已被约束，所以这时第 2 个子目标实际上已变成
likes（bell， music）.
由于程序中不存在事实 likes（bell， music），所以该目标的求解失败.于是，系统就放弃这个子目标，并使变量 x 恢复为自由变量，然后回溯到第一个子目标，重新对它进行求解.由于系统已经记住了刚才已同第一子目标谓词匹配过的事实的位置，所以重新求解时，便从下一个事实开始测试.易见，当测试到程序中的第 3 个事实时，第一个子目标便求解成功，且变量 x 被约束为 mary .这样，第 2 个子目标也就变成：
likes（mary， music）.
再对它进行求解.这次很快成功.
由于两个子目标都求解成功，所以，原目标 friend（john， y）也成功，且变量 y 被约束为 mary（由 y 与 x 的合一关系）.于是，系统回答：
y = mary
程序运行结束.上述程序的执行过程如图下所示. 图b
上述程序的运行是一个通过推理实现的求值过程.
从上述程序的运行过程来看， prolog 程序的执行过程是一个（归结）演绎推理过程.其推理方式为反向推理，控制策略是深度优先且有回溯机制，具体实现方法是：自上而下匹配子句；从左向右选择子目标；（归结后）产生的新子目标总是插入被消去的目标处（即目标队列的左部）.prolog 的这种归结演绎方法被称为 sld（linear resolution with selection function for definite clause）归结， 或 sld 反驳 - 消解法.这样，sld 归结就是 prolog 程序的运行机理，也就是所谓的 prolog 语言的过程性语义.
#p##e#
数据与表达式 1、领域
（1）标准领域.
turbo prolog中不定义变量的类型，只说明谓词中各个项的取值域.由上面我们知道， turbo prolog 有整数、实数、字符、串 和 符号这5种标准域.另外，它还有结构、表和文件这3种复合域.
（2）结构.
结构也称复合对象，它是 turbo prolog 谓词中的一种特殊的参量项（类似于谓词逻辑中的函数）.结构的一般形式为：
《函子》（《参量表》）1
其中函子及参量的标识符与谓词相同.注意，这意味着结构中还可包含结构.所以，复合对象可表达树形数据结构.例如下面的谓词：
likes（“tom”， sports（football， basketball， table_tennis））.1
中的
sports（football， basketball， table_tennis）1
就是一个结构，即复合对象.又如：
person（“张华”， student（“清华大学”）， address（“中国”， “北京”））.
reading（“王宏”， book（“人工智能技术导论”， “西安电子科技大学出版社”））.
friend（father（“li”）， father（“zhao”））.123
这几个谓词中都有复合对象.
复合对象在程序中的说明，需分层进行.例如，对于上面的谓词：
likes（“tom”， sports（football， basketball， table_tennis））.1
在程序中可说明如下：
domains
name = symbol
sy = symbol
sp = sports（sy， sy， sy）
predicates
likes（name， sp）123456
（3）表.
表的一般形式是：
［x1， x2， ...， xn］1
其中xi（i=1，2，...，n）为 prolog 的项，一般要求同一个表的元素必须属于同一领域.不含任何元素的表称为空表，记为［］.例如下面就是一些合法的表.
［1，2，3］
［ apple， orange， banana， grape， cane］
［“prolog”， “maens”， “programming”， “in logic”］
［［a， b］， ［c， d］， ［e］］
［］12345
表的最大特点是其元素个数可在程序运行期间动态变化.表的元素也可以是结构或表，且这时其元素可以属于不同领域.例如：
［name（“liming”）， age（20）， sex（male）， address（xian）］
［［1， 2］， ［3， 4， 5］， ［6， 7］］12
都是合法的表.后一个例子说明，表也可以嵌套.
实际上，表是一种特殊的结构，它是递归结构的另一种表达形式.这个结构的函数名取决于具体的 prolog 版本，这里我们就用一个圆点来表示.下面就是一些这样的结构及它们的表的表示形式：
结构形式表形式
·（a， ［］）［a］
·（a， ·（b， ［］））［a， b］
·（a， ·（b， ·（c， ［］）））［a， b， c］
表的说明方法是在其组成元素的说明符后加一个星号*.如：
domains
lists = string*
predicates
pl（lists）1234
就说明谓词 pl 中的项 lists 是一个由串 string 组成的表.
对于由结构组成的表，至少分3步说明.例如对于下面谓 p 中的表
对于由结构组成的表，至少分3步说明.例如对于下面谓 p 中的表
p（［name（“liming”）， age（20）］）1
则需这样说明：
domains
rec=seg*
seg=name（string）; age（integer）
predicates
p（rec）12345
2、常量与变量
由上面的领域可知， turbo prolog的常量有整数、实数、字符、串、符号、结构、表 和 文件 这8种数据类型.同理， turbo prolog 的变量也就有这8种取值.另外，变量名要求必须是以大写字母或下划线开头的字母、数字和下划线 序列，或者只有一个下划线（这种变量称为无名变量）.
3、算术表达式
turbo prolog 提供了 5 种最基本的算术运算：加、减、乘、除 和 取模，相应运算符号为“+”、“-”、“*”、“/”、“mod”.这 5 种运算的顺序为：“*”、“/”、“mod”优先于“+”、“-”.同级从左到右按顺序运算，括号优先.
算术表达式的形式与数学中的形式基本一样.例如：
数学中的算术表达式turbo prolog 中的算术表达式
x + yzx + y * z
ab - c / da * b - c / d
u mod vu mod v（表示求u除以v所得的余数）
即， turbo prolog 中算术表达式采用通常数学中使用的中缀形式.这种算术表达式为 prolog 的一种异体结构，若以 prolog 的结构形式来表示，则它们应为：
+（x， *（y， z））
-（*（a， b）， /（c， d））
mod（u， v）123
所以，运算符“+”、“-”、“*”、“/”和“mod”实际也就是 prolog 内部定义好了的函数符.
在 turbo prolog 程序中，如果一个算术表达式中的变元全部被实例化（即被约束），则这个算术表达式的值就会被求出.求出的值可用来实例化某变量，也可用来同其他数量进行比较，用一个算术表达式的值实例化一个变量的方法是用谓词“is”或“=”来实现的.例如：
y is x + 5或y = x + 5 （*）123
就使变量 y 实例化为 x+5 的值（当然 x 也必须经已被某值实例化），可以看出，这里对变量 y 的实例化方法类似于其他高级程序语言中的“赋值”，但又不同于赋值.例如，在 prolog 中下面的式子是错误的：
x = x + 11
需要说明的是，虽然 prolog 是一种逻辑程序设计语言，但在目前的硬件条件下却非突破逻辑框架不可.这是因为有些实用操作是无法用逻辑描述的（如输入与输出），有些算术运算在原则上可用逻辑描述，但这样做效率太低.为此， prolog 提供了若干内部谓词（亦称 预定义谓词），来实现算术运算、输入与输出等操作.所谓内部谓词，就是 prolog 的解释程序中，预先用实现语言定义好的用户可直接作为子目标调用的谓词.一般的 prolog 实用系统都配有 100 个以上的内部谓词，这些内部谓词涉及输入输出、算术运算、搜索控制、文件操作和图形声音等方面，它们是实用 prolog 程序设计所必不可少的.这样，上面的（*）式以及下面的关系表达式称为异体谓词.
4、关系表达式
turbo prolog 提供了 6 种常用的关系运算，即 小于、小于或等于、等于、大于、大于或等于、不等于，其运算符依次为：
《， 《=， =，》，》=， 《》1
turbo prolog 的关系表达式的形式和数学中的也基本一样，例如：
数学中的关系式turbo prolog 中的关系式
x + 1 ≥ yx + 1》= y
x ≠ yx 《》 y
即， turbo prolog 中的关系式也用中缀形式.当然，这种关系式为 turbo prolog 中的异体原子.若按 turbo prolog 中的原子形式来表示，则上面的两个例子为：
》=（x +1， y） 和 《》（x， y）1
所以上述 6 种关系运算符，实际上也就是 turbo prolog 内部定义好了的 6 个谓词.这 6 个关系运算符可用来比较两个算术表达式的大小.例如：
brother（name1， name2） ：- person（name1， man， age1），
person（name2， man， age2），
mother（z， name1）， mother（z， name2）， age1》 age2.123
需要说明的是，“=”的用法比较特殊，它既可以表示比较，也可以表示约束值，即使在同一个规则中的同一个“=”也是如此.例如：
p（x， y， z） ：- z = x + y.1
当变量 x、y、z全部被实例化时，“=”就是比较符.如对于问题：
goal： p（3， 5， 8）.1
机器回答“yes”，而对于：
goal： p（3， 5， 7）.1
机器回答“no”.即这时机器把 x+y 的值与z的值进行比较.但当 x，y 被实例化，而 z 未被实例化时， “=”号就是约束符，如：
goal： p（3， 5， z）.1
机器回答“z = 8”.这时，机器使 z 实例化为 x+y 的结果.
输入与输出 虽然 prolog 能自动输出目标子句中的变量的值，但这种输出功能必定有限，往往不能满足实际需要；另外，对通常大多数的程序来说，运行时从键盘上输人有关数据或信息也是必不可少的.为此每种具体 prolog 一般都提供专门的输人和输出谓词，供用户直接调用.例如，下面就是 turbo prolog 的几种输入输出谓词：
readin（x）.这个谓词的功能是从键盘上读取一个字符串，然后约束给变量 x .
readint（x）.这个谓词的功能是从键盘上读取一个整数，然后约束给变量 x，如果键盘上打入的不是整数，则该谓词失败.
readreal（x）.这个谓词的功能是从键盘上读取一个实数，然后约束给变量 x，如果键盘上打入的不是实数，则该谓词失败.
readchar（x）.这个谓词的功能是从键盘上读取一个字符，然后约束给变量 x，如果键盘上打入的不是单个字符，则该谓词失败.
write（x1， x2， …， xn）.这个谓词的功能是把项 xi（i=1，2，…，n） 的值显示在屏幕上或者打印在纸上，当有某个 xi 未实例化时，该谓词失败.其中的 xi 可以是变量，也可以是字符串或数字.例如：
write（“computer”， “prolog”， y， 1992）
nl（换行谓词）.它使后面的输出（如果有的话）另起一行.另外，利用 write的输出项“”也同样可起到换行作用.例如：
write（“name”）， nl， write（“age”）
与
write（“name”， “”， “age”）
的效果完全一样.
举个例子：
用上面的输入输出谓词编写一个简单的学生成绩数据库查询程序.
predicates
student（integer， string， real）
grade
goal
grade.
clauses
student（1， “张三”， 90.2）.
student（2， “李四”， 95.5）.
student（3， “王五”， 96.4）.
grade ：- write（“请输人姓名：”）， readln（name），
student（_， name， score），
nl， write（name， “的成绩是”， score）.
grade ：- write（“对不起，找不到这个学生！”）.12345678910111213
下面是程序运行时的屏幕显示
请输入姓名：王五
王五的成绩是96.412
四、分支与循环
prolog 本来没有分支和循环语句，但可以利用其逻辑机制实现分支和循环效果.
1、分支
对于通常的 if-then-else 分支结构，prolog可用两条同头的（同头即指结论相同）并列规则实现.例如，将：
if x》0 then x：=1
else x：=012
用 prolog实现则是：
br ：- x》 0， x = 1.
br ：- x = 0.12
类似地，对于多分支，可以用多条规则实现.例如：
br ：- x》 0， x = 1.
br ：- x = 0， x = 0.
br ：- x 《 0， x = -1.123
2、循环
prolog 可以实现计循环次数的 for 循环，也可以实现不计循环次数的 do 循环.
举个例子：
下面的程序段就实现了循环，它使得 write 语句重复执行了3次，而打印输出了3个学生的记录：
student（1， “张三”， 90.2）.
student（2， “李四”， 95.5）.
student（3， “王五”， 96.4）.
print ：- student（number， name， score），
write（number， name， score）， nl，
number = 3.123456
可以看出，程序第一次执行，student 谓词与第一个事实匹配，write 语句便输出了张三同学的记录.但当程序执行到最后一句时，由于 number 不等于 3，则该语句失败，于是，引起回溯.而 write 语句和 nl 语句均只能执行一次，所以继续向上回溯到 student 语句.这样，student 谓词则因失败而重新匹配.这一次与第二个事实匹配，结果输出了李四的记录.同理，当执行到最后一句时又引起了回溯.write 语句第三次执行后，由于 number 已等于3，所以最后一个语句成功，程序段便运行结束.
这个例子可以看做是计数循环.当然，也可以通过设置计数器而实现真正的计数循环.下面的程序段实现的则是不计数的 do 循环：
student（1， “张三”， 90.2）.
student（2， “李四”， 95.5）.
student（3， “王五”， 96.4）.
print ：- student（number， name， score），
write（number， name， score）， nl，
fail.
print ：-.1234567
这个程序段中的 fail 是一个内部谓词，它的语义是恒失败.这个程序段与上面的程序段的差别仅在于把原来用计数器（或标记数）进行循环控制的语句变成了恒失败谓词 fail，另外又增加了一个 print 语句，增加这个语句的目的是为程序设置一个出口.因为 fail 是恒失败，下面若无出口的话，将引起 print 本身的失败，进而又会导致程序的连锁失败.
还需说明的是，用 prolog的递归机制也可以实现循环，不过用递归实现循环通常需与表相配合.另外，递归的缺点是容易引起内存溢出，故通常的循环多是用上述方法实现的.
动态数据库 动态数据库就是在内存中实现的动态数据结构.它由事实组成，程序可以对它操作，所以在程序运行期间它可以动态变化.turbo prolog 提供了 3 个动态数据库操作谓词，即：
asserta（《 fact》）
assertz（《 fact》）
retract（《 fact》）123
其中 fact 表示事实.这 3 个谓词的功能如下：
asserta（《 fact》） 把 fact 插入当前动态数据库中的同名谓词的事实之前.
assertz（《 fact》） 把 fact 插入当前动态数据库中的同名谓词的事实之后.
retract（《 fact》） 把 fact 从当前动态数据库中删除.
例如语句：
asserta（student（20， “李明”， 90.5））.1
将在内存的谓词名为 student 的事实前插入一个新事实：
student（20， ‘’李明“， 90.5）1
如果内存中还没有这样的事实，则它就是第一个.又如语句：
retract（student（20， _， _））.1
将从内存的动态数据库中的删除事实：
student（20， _， _）1
它可解释为学号为 20 的一个学生的记录.注意，这里用了无名变量 “_”.
可以看出，turbo prolog 提供的动态数据库机制，可非常方便地实现堆栈、队列等动态数据结构，提供的数据库操作谓词大大简化了编程.
另外，turbo prolog 还提供了两个文件操作谓词：
save（《 filename》）.
consult（《 filename》）.12
其中 save 可将当前内存中的事实存入文件“filename”中，consult 则将文件“filename”中的事实调入内存.
#p##e#
表处理与递归 1、表头与表尾
表是 prolog 中一种非常有用的数据结构.表的表述能力很强，数字中的序列、集合，通常语言中的数组、记录等均可用表来表示.表的最大特点是其长度不固定，在程序的运行过程中可动态地变化.具体来讲，就是在程序运行时，可对表施行一些操作，如给表中添加一个元素，或从中删除一个元素，或者将两个表合并为一个表等.用表还可以方便地构造堆栈、队列、链表、树等动态数据结构.
表还有一个重要特点，就是它可分为头和尾两部分.表头是表中第一个元素，而表尾是表中除第一个元素外的其余元素按原来顺序组成的表.例如下面的表所示就是一个例子.
表表 头表 尾
［1， 2， 3， 4， 5］ 1 2， 3， 4， 5］
［apple， orange， banana］ apple ［orange， banana］
［［a， b］， ［c］， ［d， e］］ ［a， b］ ［［c］， ［d， e］］
［“prolog”］ “prolog” ［］
［］无定义无定义
**表头与表尾示例** 表 2、**表的匹配合一** 在程序中是用“|”来区分表头和表尾的，而且还可以使用变量.例如一般地用“`［h|t］“`来表示一个表，其中 h、t 都是变量，h 为表头，t为表尾.注意，此处 h 是一个元素（表中第一个元素），而 t 则是一个表（除第一个元素外表中的其余元素按原来顺序组成的表）.表的这种表示法很有用，它为表的操作提供了极大的方便.如下面的表所示即为用这种表示法通过匹配合一提取表头和表尾的例子. | 表1 | 表2 | 合一后的变量值 | |：————-：|：————-：|：————-：| | ［x | y］ | ［a， b， c］ | x = a， y = ［b， c］ | | ［x | y］ | ［a］ | x = a， y = ［］ | | ［a | y］ | ［x， b］ | x = a， y = ［b］ | | ［x， y， z］ | ［a， b， c］ | x = a， y = b， z = c | | ［［a， y］ | z］ | ［［x， b］， ［c］］ | x = a， y = b， z = ［［c］］ |
**表的匹配合一示例** 表 还需说明的是，表中的“|”后面只能有一个变量.例如写法 ［x | y， z］ 就是错误的.但竖杠前面的变量可以多于一个.例如写法 ［ x， y | z］ 是允许的.这样，这个表同 ［a， b， c］ 匹配合一后，有：
x = a， y = b， z = ［c］1
另外，竖杠的前面和后面也可以是常量，例如 ［a | y］ 和 ［x | b］ 都是允许的，但需要注意，后一个表称为无尾表，如果它同表 ［a | y］ 匹配，则有：
x = a， y = b （而不是 y = ［b］）1
如果无“|”，则不能分离出表尾.例如，表 ［x， y， z］ 与 ［a， b， c］ 合一后得 x = a，y = b，z = c，其中变量 z 并非等于 ［c］ .
接下来我们通过三个例子来更详细地了解表的操作.
例6-1：设计一个能判断对象 x 是表 l 的成员的程序.
我们可以这样设想：
如果 x 与表 l 中的第一个元素（即表头）是同一个对象，则 x 就是 l的成员；
如果 x 是 l 的尾部的成员，则 x 也就是 l 的成员.
根据这种逻辑关系，有下面的 prolog 程序：
member（x， ［x | tail］）.
member（x， ［head | tail］） ：- member（x， tail）.12
其中第一个子句的语义就是上面的第一句话；第二个子句的语义就是上面的第二句话.可以看出，这个程序中使用了递归技术，因为谓词 member 的定义中又含有它自身.利用这个程序就可以判定任意给定的一个对象和一个表之间是否具有 member（成员）关系.例如，取表 l 为 ［a， b， c， d］，取 x 为 a，对上面的程序提出如下询问：
goal ： member（a， ［a， b， c， d］）.1
则回答“yes”.同样对于询问：
goal ： member（b， ［a， b， c， d］）.
goal ： member（c， ［a， b， c， d］）.
goal ： member（d， ［a， b， c， d］）.123
均回答“yes”.但若询问：
goal ： member（e， ［a， b， c， d］）.1
则回答“no”.如果我们这样询问：
goal ： member（x， ［a， b， c， d］）.1
意思是要证明存在这样的 x，它是该表的成员，这时系统返回 x 的值，即：
x = a1
如果需要的话，系统还会给出 x 的其他所有值.
例6-2：写一个表的拼接程序，即把两个表连接成一个表.
append（［］， l， l）.
append（［h | t］， l2， ［h | tn］） ：- append（t， l2， tn）.12
程序中第一个子句的意思是空表同任一表 l 拼接的结果仍为表 l；第二个子句的意思是说，一个非空的表 l1 与另一个表 l2 拼接的结果 l3 是这样一个表，它的头是 l1 的头，它的尾是由 l1 的尾 t 同 l2 拼接的结果 tn.这个程序刻画了两个表与它们的拼接表之间的逻辑关系.
可以看出，谓词 append 是递归定义的，子句append（［］， l， l）.为终结条件即递归出口.
对于这个程序，如果我们询问：
goal ： append（［1， 2， 3］， ［4， 5］， l）.1
则系统便三次递归调用程序中的第二个子句，最后从第一个子句终止，然后反向依次求出每次的拼接表，最后输出：
l=［1， 2， 3， 4， 5］1
当然，对于这个程序也可以给出其他各种询问，如：
goal ： append（［1， 2， 3］， ［4， 5］， ［1， 2， 3， 4， 5］）.1
系统回答yes.
goal ： append（［1， 2， 3］， ［4， 5］， ［1， 2， 3， 4， 5， 6］）.1
系统回答no.
goal ： append（［1， 2， 3］， y， ［1， 2， 3， 4， 5］）.1
系统回答x = ［4， 5］.
goal ： append（x， ［4， 5］， ［1， 2， 3， 4， 5］）.1
系统回答x = ［1， 2， 3］.
goal ： append（x， y， ［1， 2， 3， 4， 5］）.1
系统回答
x = ［］， y = ［1， 2， 3， 4， 5］
x = ［1］， y = ［2， 3， 4， 5］
x = ［1， 2］， y = ［3， 4， 5］
x = ［1， 2， 3］， y = ［4， 5］
等（如果需要所有解的话）.12345
例6-3：表的输出
print（［］）.
print（［h | t］） ：- write（h）， print（t）.12
例6-4：表的倒置，即求一个表的逆序表.
reverse（［］， ［］）.
reverse（［h | t］， l） ：- reverse（t， l1）， append（l1， ［h］， l）.12
这里，reverse的第一个项是输入，即原表；第二个项是输出，即原表的倒置.
回溯控制 prolog 在搜索目标解的过程中，具有回溯机制，即当某一个子目标“gi”不能满足时，就返回到该子目标的前一个子目标“gi-1”，并放弃“gi-1”的当前约束值，使它重新匹配合一.在实际问题中，有时却不需要回溯，为此 prolog 中就专门定义了一个阻止回溯的内部谓同——“！”，称为截断谓词.
截断谓词的语法格式很简单，就是一个感叹号“！”.！ 的语义如下.
若将“！”插在子句体内作为一个子目标，它总是立即成功.
若“！”位于子句体的最后，则它就阻止对它所在子句的头谓词的所有子句的回溯访向，而让回溯跳过该头谓词（子目标），去访问前一个子目标（如果有的话）.
若“！”位于其他位置，则当其后发生回溯且回溯到“！”处时，就在此处失败，并且“！”还使它所在子句的头谓词（子目标）整个失败（即阻止再去访问头谓词的其余子向（如果有的话），即迫使系统直接回溯到该头谓词（子目标）的前一个子目标（如果有的话））.
举个例子：
考虑下面的程序
p（a）. （7 - 1）
p（b）. （7 - 2）
q（b）. （7 - 3）
r（x） ：- p（x）， q（x）. （7 - 4）
r（c）.12345
对于目标：r（x）.可有一个解：
y = b
但当我们把式（7 - 4）改为：
r（x） ：- p（x）， ！， q（x）. （7 - 4‘）1
时，却无解.为什么？
这是由于添加了截断谓词“！”.因为式（7 - 4’）中求解子目标 p（x） 时，x 被约束到 a，然后跳过“！”，但在求解子目标 q（a） 时遇到麻烦，于是又回溯到“！”，而“！”阻止了对 p（x）的下一个子句 p（b） 和 r 的下一个定义子句 r（c） 的访问.从而导致整个求解失败.
再举个例子：
设有程序：
g0 ：- g11， g12， g13. （7 - 5）
g0 ：- g14. （7 - 6）
g12 ：- g21， ！， g23. （7 - 7）
g12 ：- g24， g25. （7 - 8）
... ...12345
给出目标：g0.
假设运行到子目标 g23 时失败，这时如果子句（7 - 7）中无“！”的话，则会回溯到 g21，并且如果 g21 也失败的话，则会访问下面的子句（7 - 8）.但由于有“！”存在，所以不能回溯到 g21，而直接宣告 g12 失败.于是由子句（7 - 5），这时则回溯到 g11.如果我们把子句（7 - 7）改为：
g12 ：- g21， g23， ！. （7 - 9）1
当然这时若 g23 失败时，便可回溯到 g21，而当 g21 也失败时，便回溯到 g12，即子句（7 - 8）被“激活”.但对于修改后的程序，如果 g13 失败，则虽然可回溯到 g12，但对 g12 不做任何事情便立即跳过它，而回溯到 g11.如果子句（7 - 9）中无“！”，则当 g13 失败时，回溯到 g12 便去考虑子句（7 - 8），只有当子句（7 - 8）再失败时才回溯到 g11.
八、程序举例
下面给出几个简单而又典型的程序实例.通过这些程序，读者可以进一步体会和理解 prolog 程序的风格和能力，也可以掌握一些基本的编程技巧.
例8-1：下面是一个简单的路径查询程序.程序中的事实描述了如下图所示的有向图，规则是图中两节点间有通路的定义.
predicates
road（symbol， symbol）
path（symbol， symbol）
clauses
road（a， b）.
road（a， c）.
road（b， d）.
road（c， d）.
road（d， e）.
road（b， e）.
path（x， y） ：- road（x， y）.
path（x， y） ：- road（x， z）， path（z， y）.123456789101112
程序中未含目标，所以运行时需给出外部目标.例如当给出目标：
path（a， e）.1
时，系统将回答yes，但当给出目标：
path（e， a）.1
时，系统则回答no，如果给出目标：
run.1
且在程序中增加子句：
run ：- path（a， x）， write（”x =“， x）， nl， fail.
run.12
屏幕上将会输出：
x = b
x = c
x = d
x = e
x = d
x = e
x = e1234567
即从 a 出发到其他节点的全部路径.
例8-2：下面是一个求阶乘程序，程序中使用了递归.
/* a factorial program */
domains
n， f = integer
predicates
factorial（n， f）
goal
readint（i），
factorial（i， f），
write（i， ”！=“， f）.
clauses
factorial（1， 1）.
factorial（n， res） ：-
n》 0，
n1 = n - 1，
factorial（n1， facn1），
res = n * facn1.12345678910111213141516
程序运行时，从键盘上输入一个整数，屏幕上将显示其阶乘数.
例8-3：下面是一个表的排序程序，采用插入排序法.
/* insert sort */
domains
listi = integer*
predicates
insert_sort（listi， listi）
insert（integer， listi， listi）
asc_order（integer， integer）
clauses
insert_sort（［］， ［］）.
insert\_sort（［h | tail］， sorted_list） ：-
insert_sort（tail， sorted\_tail），
insert（h， sorted_tial， sorted\_list）.
insert（x， ［y | sorted_list1］） ：-
asc_order（x， y）， ！，
insert（x， sorted_list， sorted\_list1）.
insert（x， sorted_list， ［x | sorted\_list］）.
asc_order（x， y） ：- x》 y.1234567891011121314151617
程序中对表的处理使用了递归.程序中也未给出目标，需要在运行时临时给出.例如当给出目标：
insert_sort（［5， 3， 4， 2， 6， 1， 7， 8， 9， 0］， l）.1
时，系统将输出：
l = ［0， 1， 2， 3， 4， 5， 6， 7， 8， 9］1
电容电阻串并联有什么不同的作用？滤波电路中如何选择正确的电容类型？
模拟集成电路是什么
华硕发布首款智能手环——ASUS VivoWatch BP，主打血压监测和AI健康管理功能
爱立信携手广东移动推进的《联塑工业园5G+智能制造应用项目》获“绽放杯”二等奖
专业显卡强在什么地方？它们和普通显卡有什么区别呢？
prolog中文教程及语法规则
基于时空大数据分析、挖掘与可视化高性能计算解决方案
怎样挑选一台好的GTX1060游戏本
2020 AIoT/新基建排行榜，机智云物联网智能硬件开发云服务平台上榜
大数据+5G，为短信带来更多想象空间
DVD新储存规格技术现况与发展趋势
智慧养老解决方案的应用可以解决养老的一切问题
激光打标机：创新科技引领未来
物联网网关未来的市场如何
换向器是什么_换向器的作用是什么（直流电机、电动汽车）
傲游6浏览器首次内测顺利完成 获用户普遍支持和好评
PLC在PET注胚系统中的应用
国科微被评为HDR Vivid和Audio Vivid生态建设突出贡献单位
坚果Pro/努比亚Z17mini/荣耀9/HTCU11这几款手机讲的的就是品味,让你拥有与众不同的气质！
什么是红外焦平面探测器 制冷红外焦平面探测器的工作原理
首先，问一个基础的问题：我们已经在prolog程序中看到了很多类型的表达式（比如，jody，playsairguitar（mia），和x），但这些仅仅只是例子，是时候更加深入了，到底事实、规则和查询是由什么构成的？
答案就是语句（terms），在prolog中一共存在四种类型的语句：原子，数字，变量和复杂语句（或者称为结构）.原子和数字统称为常量，常量和变量统称简单语句.
首先要明确基础的字符的范围：大写字母：a，b，...，z；小写字母：a，b，...，z；数字：0，1，2，...，9.另外还包括“_”，即英文下划线字符；和其他一些特殊英文字符，比如：+，-，*，/，《，》，=，：，.，&，~；空格也是字符，但是不常用，并且也不可见.字符串是指没有切断的字符序列.
原子（atoms）
一个原子是以下情况之一：
1. 由字符构成的字符串，其中有效字符包括：大字字母，小写字母，数字，和下划线，并且是小写字母作为头字符.一些例子：butch，big_kahuna_burger，listen2music，playsairguitar.
2. 使用单引号封装的字符序列.比如：‘vincent’，‘the gimp’，‘five_dollar_shake’，‘&^%%@# *’，‘ ’.被单引号封装的字符序列被称为原子名.注意我们已经使用了空格字符，
事实上，使用单引号封装，其中的一个作用就是可以在原子中精确地使用类似空格字符这样的特殊字符.
3. 特殊字符组成的字符串.比如：@=，====》，;，：-等都是原子.正如我们看到的，一些特殊原子，比如;（逻辑或），：-（规则中连接头部和主干的符号）已经有预定义的含义.
数字（numbers）
在典型的prolog程序中，实数并不是很有用武之地.所以虽然大多数prolog的实现都支持浮点数，但是本文不讨论.
但是整数（比如：-2，-1，0，1，2，...）却十分有用，比如在计算列表的元素数目之类的工作时候，我们将会在第5章详细介绍.prolog中数字的表示很简单，没有什么特殊，如下：
23， 1001， 0， -365， 等等.
变量（variables）
变量是由大写字母，小写字母，数字和下划线组成的字符串，并且头字母必须是大写字母或者下划线.比如：
x， y， variable， _tag， x_526， list， list24， _head， tail， _input， output
都是prolog中有效的变量.变量”_“是一个特例，它被称为匿名变量，我们将会在第4章中介绍.
复杂语句（complex terms）
常量，数字，和变量都是构建语句的模块，现在我们学习如何将它们组成复杂语句.复杂语句也称为结构体.
复杂语句由一个函子（functor，也可以理解为函数名）和一个参数序列构成.参数序列放在小括号内，由英文逗号分隔，并且是放在函子后面.请注意函子后面必须紧跟参数序列，
中间不能有空格.函子必须是一个原子，即，变量不能用作函子.另一方面，参数序列可以是任何类型的语句.
从kb1到kb5，我们已经看到了许多复杂语句的例子.比如，playsairguitar（jody）就是一个复杂语句，其中playsairguitar是函子，jody是参数序列（只有一个参数）.另一个
例子是loves（vincent， mia），loves是函子，vincent和mia是参数序列；再比如一个包含了变量的例子：jealous（marsellus， w）.
（注：函子和谓词由一定区别，我的理解是：函子是谓词的名字，谓词包含了函子及其参数序列，是整个逻辑的实现统一体.）
但是，复杂语句的定义可以允许更为复杂的情况.事实上，在复杂语句中，也可以内嵌其他复杂语句（就是说，复杂语句允许递归）.比如：
hide（x， father（father（father（butch））））.
就是一个完美的符合定义的复杂语句.它的函子是hide，有两个参数：一个是变量x，另外一个是复杂语句，father（father（father（butch）））.这个复杂语句组成是：函子是father，
另外一个复杂语句，father（father（butch））是其唯一的参数.里层的复杂语句的参数依然是一个复杂语句：father（butch）.但是到了嵌套的最里层，参数就是一个常量：butch.
实际上，这种嵌套（递归结构）使得我们可以自然地描述很多问题，而且这种递归结构和变量合一之间的互相作用，正是prolog强有力的武器.
复杂语句的参数个数称为元数（arity）.比如，woman（mia）是一个元数为1的复杂语句，loves（vincent， mia）是一个元数为2的复杂语句.
元数对于prolog很重要.prolog允许定义函子相同但是元数不同的复杂语句.比如，我们可以定义两个参数的loves谓词，loves（vincent， mia）；也可以定义三个参数的loves谓词，
loves（vincent， marsellus， mia）.如果我们这么做了，prolog会认为这两个谓词是不同的.在第5章中，我们将会看到定义相同函子但是元数不同的具体应用.
当我们需要提及定义的谓词，介绍如何使用它们的时候（比如，在文档中），惯例是”函子/元数“这种形式.回到kb2，我们有三个谓词，之前的表达如下：
listen2music
happy
playsairguitar
使用正式的书写方式如下：
listen2music/1
happy/1
playsairguitar/1
prolog不会因为定义了两个loves谓词而迷惑，它会区分loves/2和loves/3是不同的谓词.
#p##e#
prolog 的程序 prolog 程序一般由一组事实、规则和问题组成.问题是程序执行的起点，称为程序的目标.
我们首先写出一个 prolog 的程序，如下：（为引用方便起见，我们把这个程序成为“程序0”）
likes（bell， sports）.
likes（mary， music）.
likes（mary， sports）.
likes（jane， smith）.
friend（john， x）：- likes（x， reading）， likes（x， music）.
friend（john， x） ：- likes（x， sports）， likes（x， music）. ？- friend（john， y）.
接下来我们分析一下这个程序：
可以看出，这个程序中有四个事实、两条规则和一个问题.其中事实、规则和问题都分行书写；规则和事实可连续排列在一起，其顺序可随意安排，但同一谓词名的事实或规则必须集中排列在一起；问题不能与规则及事实排在一起，它作为程序的目标要么单独列出，要么在程序运行时临时给出.
这个程序的事实描述了一些对象（包括人和事物）间的关系；而规则则描述了 john 交朋友的条件，即如果一个人喜欢读书并且喜欢音乐（或者喜欢运动和喜欢音乐），那么这个人就是 john 的朋友（当然，这个规则也可看做 john 朋友的定义）；程序中的问题是“约翰的朋友是谁？”
prolog 程序中的目标还可以变化，也可以含有多个语句（上例中只有一个）.如果有多个语句，则这些语句称为子目标.例如对上面的程序，其问题也可以是：
？-likes（mary， x）.
或 ？-likes（mary， music）.
或 ？-friend（x， y）.
或 ？-likes（bell， sports）， likes（mary， music）， friend（john， x）.
等.但对于不同的问题，程序运行的结果一般是不一样的.
还需说明的是，prolog程序中的事实或规则一般称为它们对应谓词的子句.例如，上面程序中的前4句都是谓词 likes 的子句. prolog 规定，同一谓词的子句应排在一起.从语句形式和程序组成来看， prolog 就是一种基于 horn 子句的逻辑程序.这种程序要求用事实和规则来求证询问，即证明所给出的条件子句和无条件子句与目标子句是矛盾的，或者说程序中的子句集是不可满足的.这就是所谓的 prolog 的说明性语义.
从 prolog 的语句来看， prolog 语言的文法结构相当简单.但由于它的语句是 horn 子句，而 horn 子句的描述能力是很强的，所以 prolog 的描述能力也是很强的.例如，当它的事实和规则描述的是某一学科的公理，那么问题就是待证的命题；当事实和规则描述的是某些数据和关系，那么问题就是数据查询语句；当事实和规则描述的是某领域的知识，那么问题就是利用这些知识求解的问题；当事实和规则描述的是某初始状态和状态变化规律，那么问题就是目标状态.所以， prolog 语言实际是一种应用相当广泛的智能程序设计语言.从上面最后一个目标可以看出，同过程性语言相比，对于一个 prolog 程序，其问题就相当于主程序，其规则就相当于子程序，而其事实就相当于数据.
prolog 程序的运行机理 要想了解 prolog 的运行机理，首先需要了解几个基本概念.
1、自由变量与约束变量
prolog中把无值的变量称为自由变量，有值的变量称为约束变量.一个变量取了某值就说该变量约束于某值，或者说该变量被某值所约束，或者说该变量被某值实例化了.在程序运行期间，一个自由变量可以被实例化而成为约束变量，反之，一个约束变量也可被解除其值而成为自由变量.
2、匹配合一
两个谓词可匹配合一，是指两个谓词的名相同，参量项的个数相同，参量类型对应相同，并且对应参量项还满足下列条件之一.
如果两个都是常量，则必须完全相同.
如果两个都是约束变量，则两个约束值必须相同.
如果其中一个是常量，一个是约束变量，则约東值与常量必须相同.
至少有一个是自由变量.
例如下面的两个谓词：
prel（“ob1”， “ob2”， z）
prel（“ob1”， x， y）
只有当变量 x 被约束为”ob2”，且 y、z 的约束值相同或者至少有一个是自由变量时，它们才是匹配合一的.
prolog 的匹配合一，与归结原理中的合一的意思基本一样，但这里的合一同时也是一种操作.这种操作可使两个能匹配的谓词合一起来，即为参加匹配的自由变量和常量，或者两个自由变量建立一种对应关系，使得常量作为对应变量的约束值，使得两个对应的自由变量始终保持一致，即若其中一个被某值约束，则另一个也被同一值约束；反之，若其中一个的值被解除，则另一个的值也被解除.
3、回溯
所谓回溯，就是在程序运行期间，当某一个子目标不能满足（即谓词匹配失败）时，控制就返回到前一个已经满足的子目标（如果存在的话），并撤销其有关变量的约束值，然后再使其重新满足.成功后，再继续满足原来的子目标.如果失败的子目标前再无子目标，则控制就返回到该子目标的上一级目标（即该子目标谓词所在规则的头部）使它重新匹配.回溯也是 prolog 的一个重要机制.
不懂没关系，下面有例子，看完这个 prolog 程序的运行过程就懂了.
有了上面的基本概念，下面就介绍所 prolog 程序的运行过程.我们仍以上面给出的 prolog 程序“程序0”为例.
设所给的询问是：
？-friend（john， y）. （john和谁是朋友？）
则求解目标为：
friend（john， y）.
这时，系统对程序进行扫描，寻找能与目标谓词匹配合一的事实或规则头部.显然，程序中前面的 4 个事实均不能与目标匹配，而第 5 个语句的左端即规则为：
friend（john， y） ：- likes（x， reading）， likes（x， music）.
的头部可与目标谓词匹配合一.但由于这个语句又是一个规则，所以其结论要成立则必须其前提全部成立.于是，对原目标的求解就转化为对新目标：
likes（x， reading）， likes（x， music）.
的求解.这实际是经过归结，规则头部被消去，而目标子句变为：
？- likes（x， reading）， likes（x， music）.
现在依次对子目标：
likes（x， reading）和 likes（x， music）
求解.
子目标的求解过程与主目标完全一样，也是从头对程序进行扫描，不断进行测试和匹配合一等，直到匹配成功或扫描完整个程序为止.
可以看出，对第一个子目标 like（x， reading）的求解因无可匹配的事实和规则而立即失败，进而导致规则：
friend（john， x） ：- likes（x， reading）， likes（x， music）.
的整体失败.于是，刚才的子目标：
likes（x， reading）和 likes（x， music）
被撤销，系统又回溯到原目标 friend（john， x）.这时，系统从该目标刚才的匹配语句处（即第 5 句）向下继续扫描程序中的子句，试图重新使原目标匹配，结果发现第 6 条语句的左部，即规则
friend（john， x） ：- likes（x， sports）， likes（x， music）.
的头部可与目标谓词匹配.但由于这个语句又是一个规则，于是，这时对原目标的求解就又转化为依次对子目标：
likes（x， sports）和 likes（x， music）
的求解.这次子目标 likes（x， sports）与程序中的事实立即匹配成功，且变量 x 被约束为 bell.于是，系统便接着求解第 2 个子目标.由于变量 x 已被约束，所以这时第 2 个子目标实际上已变成
likes（bell， music）.
由于程序中不存在事实 likes（bell， music），所以该目标的求解失败.于是，系统就放弃这个子目标，并使变量 x 恢复为自由变量，然后回溯到第一个子目标，重新对它进行求解.由于系统已经记住了刚才已同第一子目标谓词匹配过的事实的位置，所以重新求解时，便从下一个事实开始测试.易见，当测试到程序中的第 3 个事实时，第一个子目标便求解成功，且变量 x 被约束为 mary .这样，第 2 个子目标也就变成：
likes（mary， music）.
再对它进行求解.这次很快成功.
由于两个子目标都求解成功，所以，原目标 friend（john， y）也成功，且变量 y 被约束为 mary（由 y 与 x 的合一关系）.于是，系统回答：
y = mary
程序运行结束.上述程序的执行过程如图下所示. 图b
上述程序的运行是一个通过推理实现的求值过程.
从上述程序的运行过程来看， prolog 程序的执行过程是一个（归结）演绎推理过程.其推理方式为反向推理，控制策略是深度优先且有回溯机制，具体实现方法是：自上而下匹配子句；从左向右选择子目标；（归结后）产生的新子目标总是插入被消去的目标处（即目标队列的左部）.prolog 的这种归结演绎方法被称为 sld（linear resolution with selection function for definite clause）归结， 或 sld 反驳 - 消解法.这样，sld 归结就是 prolog 程序的运行机理，也就是所谓的 prolog 语言的过程性语义.
#p##e#
数据与表达式 1、领域
（1）标准领域.
turbo prolog中不定义变量的类型，只说明谓词中各个项的取值域.由上面我们知道， turbo prolog 有整数、实数、字符、串 和 符号这5种标准域.另外，它还有结构、表和文件这3种复合域.
（2）结构.
结构也称复合对象，它是 turbo prolog 谓词中的一种特殊的参量项（类似于谓词逻辑中的函数）.结构的一般形式为：
《函子》（《参量表》）1
其中函子及参量的标识符与谓词相同.注意，这意味着结构中还可包含结构.所以，复合对象可表达树形数据结构.例如下面的谓词：
likes（“tom”， sports（football， basketball， table_tennis））.1
中的
sports（football， basketball， table_tennis）1
就是一个结构，即复合对象.又如：
person（“张华”， student（“清华大学”）， address（“中国”， “北京”））.
reading（“王宏”， book（“人工智能技术导论”， “西安电子科技大学出版社”））.
friend（father（“li”）， father（“zhao”））.123
这几个谓词中都有复合对象.
复合对象在程序中的说明，需分层进行.例如，对于上面的谓词：
likes（“tom”， sports（football， basketball， table_tennis））.1
在程序中可说明如下：
domains
name = symbol
sy = symbol
sp = sports（sy， sy， sy）
predicates
likes（name， sp）123456
（3）表.
表的一般形式是：
［x1， x2， ...， xn］1
其中xi（i=1，2，...，n）为 prolog 的项，一般要求同一个表的元素必须属于同一领域.不含任何元素的表称为空表，记为［］.例如下面就是一些合法的表.
［1，2，3］
［ apple， orange， banana， grape， cane］
［“prolog”， “maens”， “programming”， “in logic”］
［［a， b］， ［c， d］， ［e］］
［］12345
表的最大特点是其元素个数可在程序运行期间动态变化.表的元素也可以是结构或表，且这时其元素可以属于不同领域.例如：
［name（“liming”）， age（20）， sex（male）， address（xian）］
［［1， 2］， ［3， 4， 5］， ［6， 7］］12
都是合法的表.后一个例子说明，表也可以嵌套.
实际上，表是一种特殊的结构，它是递归结构的另一种表达形式.这个结构的函数名取决于具体的 prolog 版本，这里我们就用一个圆点来表示.下面就是一些这样的结构及它们的表的表示形式：
结构形式表形式
·（a， ［］）［a］
·（a， ·（b， ［］））［a， b］
·（a， ·（b， ·（c， ［］）））［a， b， c］
表的说明方法是在其组成元素的说明符后加一个星号*.如：
domains
lists = string*
predicates
pl（lists）1234
就说明谓词 pl 中的项 lists 是一个由串 string 组成的表.
对于由结构组成的表，至少分3步说明.例如对于下面谓 p 中的表
对于由结构组成的表，至少分3步说明.例如对于下面谓 p 中的表
p（［name（“liming”）， age（20）］）1
则需这样说明：
domains
rec=seg*
seg=name（string）; age（integer）
predicates
p（rec）12345
2、常量与变量
由上面的领域可知， turbo prolog的常量有整数、实数、字符、串、符号、结构、表 和 文件 这8种数据类型.同理， turbo prolog 的变量也就有这8种取值.另外，变量名要求必须是以大写字母或下划线开头的字母、数字和下划线 序列，或者只有一个下划线（这种变量称为无名变量）.
3、算术表达式
turbo prolog 提供了 5 种最基本的算术运算：加、减、乘、除 和 取模，相应运算符号为“+”、“-”、“*”、“/”、“mod”.这 5 种运算的顺序为：“*”、“/”、“mod”优先于“+”、“-”.同级从左到右按顺序运算，括号优先.
算术表达式的形式与数学中的形式基本一样.例如：
数学中的算术表达式turbo prolog 中的算术表达式
x + yzx + y * z
ab - c / da * b - c / d
u mod vu mod v（表示求u除以v所得的余数）
即， turbo prolog 中算术表达式采用通常数学中使用的中缀形式.这种算术表达式为 prolog 的一种异体结构，若以 prolog 的结构形式来表示，则它们应为：
+（x， *（y， z））
-（*（a， b）， /（c， d））
mod（u， v）123
所以，运算符“+”、“-”、“*”、“/”和“mod”实际也就是 prolog 内部定义好了的函数符.
在 turbo prolog 程序中，如果一个算术表达式中的变元全部被实例化（即被约束），则这个算术表达式的值就会被求出.求出的值可用来实例化某变量，也可用来同其他数量进行比较，用一个算术表达式的值实例化一个变量的方法是用谓词“is”或“=”来实现的.例如：
y is x + 5或y = x + 5 （*）123
就使变量 y 实例化为 x+5 的值（当然 x 也必须经已被某值实例化），可以看出，这里对变量 y 的实例化方法类似于其他高级程序语言中的“赋值”，但又不同于赋值.例如，在 prolog 中下面的式子是错误的：
x = x + 11
需要说明的是，虽然 prolog 是一种逻辑程序设计语言，但在目前的硬件条件下却非突破逻辑框架不可.这是因为有些实用操作是无法用逻辑描述的（如输入与输出），有些算术运算在原则上可用逻辑描述，但这样做效率太低.为此， prolog 提供了若干内部谓词（亦称 预定义谓词），来实现算术运算、输入与输出等操作.所谓内部谓词，就是 prolog 的解释程序中，预先用实现语言定义好的用户可直接作为子目标调用的谓词.一般的 prolog 实用系统都配有 100 个以上的内部谓词，这些内部谓词涉及输入输出、算术运算、搜索控制、文件操作和图形声音等方面，它们是实用 prolog 程序设计所必不可少的.这样，上面的（*）式以及下面的关系表达式称为异体谓词.
4、关系表达式
turbo prolog 提供了 6 种常用的关系运算，即 小于、小于或等于、等于、大于、大于或等于、不等于，其运算符依次为：
《， 《=， =，》，》=， 《》1
turbo prolog 的关系表达式的形式和数学中的也基本一样，例如：
数学中的关系式turbo prolog 中的关系式
x + 1 ≥ yx + 1》= y
x ≠ yx 《》 y
即， turbo prolog 中的关系式也用中缀形式.当然，这种关系式为 turbo prolog 中的异体原子.若按 turbo prolog 中的原子形式来表示，则上面的两个例子为：
》=（x +1， y） 和 《》（x， y）1
所以上述 6 种关系运算符，实际上也就是 turbo prolog 内部定义好了的 6 个谓词.这 6 个关系运算符可用来比较两个算术表达式的大小.例如：
brother（name1， name2） ：- person（name1， man， age1），
person（name2， man， age2），
mother（z， name1）， mother（z， name2）， age1》 age2.123
需要说明的是，“=”的用法比较特殊，它既可以表示比较，也可以表示约束值，即使在同一个规则中的同一个“=”也是如此.例如：
p（x， y， z） ：- z = x + y.1
当变量 x、y、z全部被实例化时，“=”就是比较符.如对于问题：
goal： p（3， 5， 8）.1
机器回答“yes”，而对于：
goal： p（3， 5， 7）.1
机器回答“no”.即这时机器把 x+y 的值与z的值进行比较.但当 x，y 被实例化，而 z 未被实例化时， “=”号就是约束符，如：
goal： p（3， 5， z）.1
机器回答“z = 8”.这时，机器使 z 实例化为 x+y 的结果.
输入与输出 虽然 prolog 能自动输出目标子句中的变量的值，但这种输出功能必定有限，往往不能满足实际需要；另外，对通常大多数的程序来说，运行时从键盘上输人有关数据或信息也是必不可少的.为此每种具体 prolog 一般都提供专门的输人和输出谓词，供用户直接调用.例如，下面就是 turbo prolog 的几种输入输出谓词：
readin（x）.这个谓词的功能是从键盘上读取一个字符串，然后约束给变量 x .
readint（x）.这个谓词的功能是从键盘上读取一个整数，然后约束给变量 x，如果键盘上打入的不是整数，则该谓词失败.
readreal（x）.这个谓词的功能是从键盘上读取一个实数，然后约束给变量 x，如果键盘上打入的不是实数，则该谓词失败.
readchar（x）.这个谓词的功能是从键盘上读取一个字符，然后约束给变量 x，如果键盘上打入的不是单个字符，则该谓词失败.
write（x1， x2， …， xn）.这个谓词的功能是把项 xi（i=1，2，…，n） 的值显示在屏幕上或者打印在纸上，当有某个 xi 未实例化时，该谓词失败.其中的 xi 可以是变量，也可以是字符串或数字.例如：
write（“computer”， “prolog”， y， 1992）
nl（换行谓词）.它使后面的输出（如果有的话）另起一行.另外，利用 write的输出项“”也同样可起到换行作用.例如：
write（“name”）， nl， write（“age”）
与
write（“name”， “”， “age”）
的效果完全一样.
举个例子：
用上面的输入输出谓词编写一个简单的学生成绩数据库查询程序.
predicates
student（integer， string， real）
grade
goal
grade.
clauses
student（1， “张三”， 90.2）.
student（2， “李四”， 95.5）.
student（3， “王五”， 96.4）.
grade ：- write（“请输人姓名：”）， readln（name），
student（_， name， score），
nl， write（name， “的成绩是”， score）.
grade ：- write（“对不起，找不到这个学生！”）.12345678910111213
下面是程序运行时的屏幕显示
请输入姓名：王五
王五的成绩是96.412
四、分支与循环
prolog 本来没有分支和循环语句，但可以利用其逻辑机制实现分支和循环效果.
1、分支
对于通常的 if-then-else 分支结构，prolog可用两条同头的（同头即指结论相同）并列规则实现.例如，将：
if x》0 then x：=1
else x：=012
用 prolog实现则是：
br ：- x》 0， x = 1.
br ：- x = 0.12
类似地，对于多分支，可以用多条规则实现.例如：
br ：- x》 0， x = 1.
br ：- x = 0， x = 0.
br ：- x 《 0， x = -1.123
2、循环
prolog 可以实现计循环次数的 for 循环，也可以实现不计循环次数的 do 循环.
举个例子：
下面的程序段就实现了循环，它使得 write 语句重复执行了3次，而打印输出了3个学生的记录：
student（1， “张三”， 90.2）.
student（2， “李四”， 95.5）.
student（3， “王五”， 96.4）.
print ：- student（number， name， score），
write（number， name， score）， nl，
number = 3.123456
可以看出，程序第一次执行，student 谓词与第一个事实匹配，write 语句便输出了张三同学的记录.但当程序执行到最后一句时，由于 number 不等于 3，则该语句失败，于是，引起回溯.而 write 语句和 nl 语句均只能执行一次，所以继续向上回溯到 student 语句.这样，student 谓词则因失败而重新匹配.这一次与第二个事实匹配，结果输出了李四的记录.同理，当执行到最后一句时又引起了回溯.write 语句第三次执行后，由于 number 已等于3，所以最后一个语句成功，程序段便运行结束.
这个例子可以看做是计数循环.当然，也可以通过设置计数器而实现真正的计数循环.下面的程序段实现的则是不计数的 do 循环：
student（1， “张三”， 90.2）.
student（2， “李四”， 95.5）.
student（3， “王五”， 96.4）.
print ：- student（number， name， score），
write（number， name， score）， nl，
fail.
print ：-.1234567
这个程序段中的 fail 是一个内部谓词，它的语义是恒失败.这个程序段与上面的程序段的差别仅在于把原来用计数器（或标记数）进行循环控制的语句变成了恒失败谓词 fail，另外又增加了一个 print 语句，增加这个语句的目的是为程序设置一个出口.因为 fail 是恒失败，下面若无出口的话，将引起 print 本身的失败，进而又会导致程序的连锁失败.
还需说明的是，用 prolog的递归机制也可以实现循环，不过用递归实现循环通常需与表相配合.另外，递归的缺点是容易引起内存溢出，故通常的循环多是用上述方法实现的.
动态数据库 动态数据库就是在内存中实现的动态数据结构.它由事实组成，程序可以对它操作，所以在程序运行期间它可以动态变化.turbo prolog 提供了 3 个动态数据库操作谓词，即：
asserta（《 fact》）
assertz（《 fact》）
retract（《 fact》）123
其中 fact 表示事实.这 3 个谓词的功能如下：
asserta（《 fact》） 把 fact 插入当前动态数据库中的同名谓词的事实之前.
assertz（《 fact》） 把 fact 插入当前动态数据库中的同名谓词的事实之后.
retract（《 fact》） 把 fact 从当前动态数据库中删除.
例如语句：
asserta（student（20， “李明”， 90.5））.1
将在内存的谓词名为 student 的事实前插入一个新事实：
student（20， ‘’李明“， 90.5）1
如果内存中还没有这样的事实，则它就是第一个.又如语句：
retract（student（20， _， _））.1
将从内存的动态数据库中的删除事实：
student（20， _， _）1
它可解释为学号为 20 的一个学生的记录.注意，这里用了无名变量 “_”.
可以看出，turbo prolog 提供的动态数据库机制，可非常方便地实现堆栈、队列等动态数据结构，提供的数据库操作谓词大大简化了编程.
另外，turbo prolog 还提供了两个文件操作谓词：
save（《 filename》）.
consult（《 filename》）.12
其中 save 可将当前内存中的事实存入文件“filename”中，consult 则将文件“filename”中的事实调入内存.
#p##e#
表处理与递归 1、表头与表尾
表是 prolog 中一种非常有用的数据结构.表的表述能力很强，数字中的序列、集合，通常语言中的数组、记录等均可用表来表示.表的最大特点是其长度不固定，在程序的运行过程中可动态地变化.具体来讲，就是在程序运行时，可对表施行一些操作，如给表中添加一个元素，或从中删除一个元素，或者将两个表合并为一个表等.用表还可以方便地构造堆栈、队列、链表、树等动态数据结构.
表还有一个重要特点，就是它可分为头和尾两部分.表头是表中第一个元素，而表尾是表中除第一个元素外的其余元素按原来顺序组成的表.例如下面的表所示就是一个例子.
表表 头表 尾
［1， 2， 3， 4， 5］ 1 2， 3， 4， 5］
［apple， orange， banana］ apple ［orange， banana］
［［a， b］， ［c］， ［d， e］］ ［a， b］ ［［c］， ［d， e］］
［“prolog”］ “prolog” ［］
［］无定义无定义
**表头与表尾示例** 表 2、**表的匹配合一** 在程序中是用“|”来区分表头和表尾的，而且还可以使用变量.例如一般地用“`［h|t］“`来表示一个表，其中 h、t 都是变量，h 为表头，t为表尾.注意，此处 h 是一个元素（表中第一个元素），而 t 则是一个表（除第一个元素外表中的其余元素按原来顺序组成的表）.表的这种表示法很有用，它为表的操作提供了极大的方便.如下面的表所示即为用这种表示法通过匹配合一提取表头和表尾的例子. | 表1 | 表2 | 合一后的变量值 | |：————-：|：————-：|：————-：| | ［x | y］ | ［a， b， c］ | x = a， y = ［b， c］ | | ［x | y］ | ［a］ | x = a， y = ［］ | | ［a | y］ | ［x， b］ | x = a， y = ［b］ | | ［x， y， z］ | ［a， b， c］ | x = a， y = b， z = c | | ［［a， y］ | z］ | ［［x， b］， ［c］］ | x = a， y = b， z = ［［c］］ |
**表的匹配合一示例** 表 还需说明的是，表中的“|”后面只能有一个变量.例如写法 ［x | y， z］ 就是错误的.但竖杠前面的变量可以多于一个.例如写法 ［ x， y | z］ 是允许的.这样，这个表同 ［a， b， c］ 匹配合一后，有：
x = a， y = b， z = ［c］1
另外，竖杠的前面和后面也可以是常量，例如 ［a | y］ 和 ［x | b］ 都是允许的，但需要注意，后一个表称为无尾表，如果它同表 ［a | y］ 匹配，则有：
x = a， y = b （而不是 y = ［b］）1
如果无“|”，则不能分离出表尾.例如，表 ［x， y， z］ 与 ［a， b， c］ 合一后得 x = a，y = b，z = c，其中变量 z 并非等于 ［c］ .
接下来我们通过三个例子来更详细地了解表的操作.
例6-1：设计一个能判断对象 x 是表 l 的成员的程序.
我们可以这样设想：
如果 x 与表 l 中的第一个元素（即表头）是同一个对象，则 x 就是 l的成员；
如果 x 是 l 的尾部的成员，则 x 也就是 l 的成员.
根据这种逻辑关系，有下面的 prolog 程序：
member（x， ［x | tail］）.
member（x， ［head | tail］） ：- member（x， tail）.12
其中第一个子句的语义就是上面的第一句话；第二个子句的语义就是上面的第二句话.可以看出，这个程序中使用了递归技术，因为谓词 member 的定义中又含有它自身.利用这个程序就可以判定任意给定的一个对象和一个表之间是否具有 member（成员）关系.例如，取表 l 为 ［a， b， c， d］，取 x 为 a，对上面的程序提出如下询问：
goal ： member（a， ［a， b， c， d］）.1
则回答“yes”.同样对于询问：
goal ： member（b， ［a， b， c， d］）.
goal ： member（c， ［a， b， c， d］）.
goal ： member（d， ［a， b， c， d］）.123
均回答“yes”.但若询问：
goal ： member（e， ［a， b， c， d］）.1
则回答“no”.如果我们这样询问：
goal ： member（x， ［a， b， c， d］）.1
意思是要证明存在这样的 x，它是该表的成员，这时系统返回 x 的值，即：
x = a1
如果需要的话，系统还会给出 x 的其他所有值.
例6-2：写一个表的拼接程序，即把两个表连接成一个表.
append（［］， l， l）.
append（［h | t］， l2， ［h | tn］） ：- append（t， l2， tn）.12
程序中第一个子句的意思是空表同任一表 l 拼接的结果仍为表 l；第二个子句的意思是说，一个非空的表 l1 与另一个表 l2 拼接的结果 l3 是这样一个表，它的头是 l1 的头，它的尾是由 l1 的尾 t 同 l2 拼接的结果 tn.这个程序刻画了两个表与它们的拼接表之间的逻辑关系.
可以看出，谓词 append 是递归定义的，子句append（［］， l， l）.为终结条件即递归出口.
对于这个程序，如果我们询问：
goal ： append（［1， 2， 3］， ［4， 5］， l）.1
则系统便三次递归调用程序中的第二个子句，最后从第一个子句终止，然后反向依次求出每次的拼接表，最后输出：
l=［1， 2， 3， 4， 5］1
当然，对于这个程序也可以给出其他各种询问，如：
goal ： append（［1， 2， 3］， ［4， 5］， ［1， 2， 3， 4， 5］）.1
系统回答yes.
goal ： append（［1， 2， 3］， ［4， 5］， ［1， 2， 3， 4， 5， 6］）.1
系统回答no.
goal ： append（［1， 2， 3］， y， ［1， 2， 3， 4， 5］）.1
系统回答x = ［4， 5］.
goal ： append（x， ［4， 5］， ［1， 2， 3， 4， 5］）.1
系统回答x = ［1， 2， 3］.
goal ： append（x， y， ［1， 2， 3， 4， 5］）.1
系统回答
x = ［］， y = ［1， 2， 3， 4， 5］
x = ［1］， y = ［2， 3， 4， 5］
x = ［1， 2］， y = ［3， 4， 5］
x = ［1， 2， 3］， y = ［4， 5］
等（如果需要所有解的话）.12345
例6-3：表的输出
print（［］）.
print（［h | t］） ：- write（h）， print（t）.12
例6-4：表的倒置，即求一个表的逆序表.
reverse（［］， ［］）.
reverse（［h | t］， l） ：- reverse（t， l1）， append（l1， ［h］， l）.12
这里，reverse的第一个项是输入，即原表；第二个项是输出，即原表的倒置.
回溯控制 prolog 在搜索目标解的过程中，具有回溯机制，即当某一个子目标“gi”不能满足时，就返回到该子目标的前一个子目标“gi-1”，并放弃“gi-1”的当前约束值，使它重新匹配合一.在实际问题中，有时却不需要回溯，为此 prolog 中就专门定义了一个阻止回溯的内部谓同——“！”，称为截断谓词.
截断谓词的语法格式很简单，就是一个感叹号“！”.！ 的语义如下.
若将“！”插在子句体内作为一个子目标，它总是立即成功.
若“！”位于子句体的最后，则它就阻止对它所在子句的头谓词的所有子句的回溯访向，而让回溯跳过该头谓词（子目标），去访问前一个子目标（如果有的话）.
若“！”位于其他位置，则当其后发生回溯且回溯到“！”处时，就在此处失败，并且“！”还使它所在子句的头谓词（子目标）整个失败（即阻止再去访问头谓词的其余子向（如果有的话），即迫使系统直接回溯到该头谓词（子目标）的前一个子目标（如果有的话））.
举个例子：
考虑下面的程序
p（a）. （7 - 1）
p（b）. （7 - 2）
q（b）. （7 - 3）
r（x） ：- p（x）， q（x）. （7 - 4）
r（c）.12345
对于目标：r（x）.可有一个解：
y = b
但当我们把式（7 - 4）改为：
r（x） ：- p（x）， ！， q（x）. （7 - 4‘）1
时，却无解.为什么？
这是由于添加了截断谓词“！”.因为式（7 - 4’）中求解子目标 p（x） 时，x 被约束到 a，然后跳过“！”，但在求解子目标 q（a） 时遇到麻烦，于是又回溯到“！”，而“！”阻止了对 p（x）的下一个子句 p（b） 和 r 的下一个定义子句 r（c） 的访问.从而导致整个求解失败.
再举个例子：
设有程序：
g0 ：- g11， g12， g13. （7 - 5）
g0 ：- g14. （7 - 6）
g12 ：- g21， ！， g23. （7 - 7）
g12 ：- g24， g25. （7 - 8）
... ...12345
给出目标：g0.
假设运行到子目标 g23 时失败，这时如果子句（7 - 7）中无“！”的话，则会回溯到 g21，并且如果 g21 也失败的话，则会访问下面的子句（7 - 8）.但由于有“！”存在，所以不能回溯到 g21，而直接宣告 g12 失败.于是由子句（7 - 5），这时则回溯到 g11.如果我们把子句（7 - 7）改为：
g12 ：- g21， g23， ！. （7 - 9）1
当然这时若 g23 失败时，便可回溯到 g21，而当 g21 也失败时，便回溯到 g12，即子句（7 - 8）被“激活”.但对于修改后的程序，如果 g13 失败，则虽然可回溯到 g12，但对 g12 不做任何事情便立即跳过它，而回溯到 g11.如果子句（7 - 9）中无“！”，则当 g13 失败时，回溯到 g12 便去考虑子句（7 - 8），只有当子句（7 - 8）再失败时才回溯到 g11.
八、程序举例
下面给出几个简单而又典型的程序实例.通过这些程序，读者可以进一步体会和理解 prolog 程序的风格和能力，也可以掌握一些基本的编程技巧.
例8-1：下面是一个简单的路径查询程序.程序中的事实描述了如下图所示的有向图，规则是图中两节点间有通路的定义.
predicates
road（symbol， symbol）
path（symbol， symbol）
clauses
road（a， b）.
road（a， c）.
road（b， d）.
road（c， d）.
road（d， e）.
road（b， e）.
path（x， y） ：- road（x， y）.
path（x， y） ：- road（x， z）， path（z， y）.123456789101112
程序中未含目标，所以运行时需给出外部目标.例如当给出目标：
path（a， e）.1
时，系统将回答yes，但当给出目标：
path（e， a）.1
时，系统则回答no，如果给出目标：
run.1
且在程序中增加子句：
run ：- path（a， x）， write（”x =“， x）， nl， fail.
run.12
屏幕上将会输出：
x = b
x = c
x = d
x = e
x = d
x = e
x = e1234567
即从 a 出发到其他节点的全部路径.
例8-2：下面是一个求阶乘程序，程序中使用了递归.
/* a factorial program */
domains
n， f = integer
predicates
factorial（n， f）
goal
readint（i），
factorial（i， f），
write（i， ”！=“， f）.
clauses
factorial（1， 1）.
factorial（n， res） ：-
n》 0，
n1 = n - 1，
factorial（n1， facn1），
res = n * facn1.12345678910111213141516
程序运行时，从键盘上输入一个整数，屏幕上将显示其阶乘数.
例8-3：下面是一个表的排序程序，采用插入排序法.
/* insert sort */
domains
listi = integer*
predicates
insert_sort（listi， listi）
insert（integer， listi， listi）
asc_order（integer， integer）
clauses
insert_sort（［］， ［］）.
insert\_sort（［h | tail］， sorted_list） ：-
insert_sort（tail， sorted\_tail），
insert（h， sorted_tial， sorted\_list）.
insert（x， ［y | sorted_list1］） ：-
asc_order（x， y）， ！，
insert（x， sorted_list， sorted\_list1）.
insert（x， sorted_list， ［x | sorted\_list］）.
asc_order（x， y） ：- x》 y.1234567891011121314151617
程序中对表的处理使用了递归.程序中也未给出目标，需要在运行时临时给出.例如当给出目标：
insert_sort（［5， 3， 4， 2， 6， 1， 7， 8， 9， 0］， l）.1
时，系统将输出：
l = ［0， 1， 2， 3， 4， 5， 6， 7， 8， 9］1
电容电阻串并联有什么不同的作用？滤波电路中如何选择正确的电容类型？
模拟集成电路是什么
华硕发布首款智能手环——ASUS VivoWatch BP，主打血压监测和AI健康管理功能
爱立信携手广东移动推进的《联塑工业园5G+智能制造应用项目》获“绽放杯”二等奖
专业显卡强在什么地方？它们和普通显卡有什么区别呢？
prolog中文教程及语法规则
基于时空大数据分析、挖掘与可视化高性能计算解决方案
怎样挑选一台好的GTX1060游戏本
2020 AIoT/新基建排行榜，机智云物联网智能硬件开发云服务平台上榜
大数据+5G，为短信带来更多想象空间
DVD新储存规格技术现况与发展趋势
智慧养老解决方案的应用可以解决养老的一切问题
激光打标机：创新科技引领未来
物联网网关未来的市场如何
换向器是什么_换向器的作用是什么（直流电机、电动汽车）
傲游6浏览器首次内测顺利完成 获用户普遍支持和好评
PLC在PET注胚系统中的应用
国科微被评为HDR Vivid和Audio Vivid生态建设突出贡献单位
坚果Pro/努比亚Z17mini/荣耀9/HTCU11这几款手机讲的的就是品味,让你拥有与众不同的气质！
什么是红外焦平面探测器 制冷红外焦平面探测器的工作原理