4.prolog 和visual prolog.pptVIP

Prolog 是一种逻辑程序设计语言，基于一阶谓词逻辑，是典型的叙述型语言（Declaration Language）。 Prolog语言的特点： (1) 建立在一阶谓词逻辑和归结原理基础上，有自动推理功能。 (2) 用Prolog设计应用程序时，仅需指明领域中各对象间的关系和决策规则，而应用这些知识的推理由Prolog 完成。 (3) Prolog应用程序，由数据库和规则库组成。 (4) Prolog程序设计要做三件事，即说明事实、定义规则、提出问题。;Prolog 有三种形式的语句：;证明公式：( (M(X) ? R(X) ) ? M(张三) )? R(张三) 恒真;? Visual?Prolog 和其它的 Prolog 方言都是基于 Horn 子句逻辑的。所谓 Horn 子句逻辑，是一种事物及其相互关系的推理的形式系统。例如，用自然语言我们可以陈述：? John?is?the?father?of?Bill.?? 这中间有两件“事物”：John 和 Bill，他们之间的关系，就是一个是另一个的父亲（father）。 我们可以用 Horn 子句逻辑形式化地表述这句话为：? ? father(Bill,?John).?? 这种形式中，把关系的名称放在前面，两个“事物”放在括号里，并用逗号隔开。两个事物的名称用计算机行话讲是“字符串”或简称“串”。串要用引号界定。再说一个概念： 我们说 father 是一个谓词或是一个关系，它有”Bill”和”John”? 两个参数。谓词描述两个对象 （在这里也就是 Bill 和 John）之间的关系。我们解释说，第二个参数 John，是第一个参数 Bill 的 father。? 注意，这里我们选定第二个对象是第一个对象的父亲。我们也可以反过来规定。参数的 次序是由形式化的设计者选择的。不过，一经选定，就需要保持一贯。因而在我们的形式化 过程中，father 总是第二个。可以这样说：在计算机程序中我们创建了一个世界，这个世界 中谓词 father 的第二个参数在这个关系中是父亲。? 前面我们选用了人名表示一个人，并用串来表示人名。要复杂些想，这可能不行，因为 现实世界中有很多同名的人。不过，在我们的例子中这就够用了。?;SLD（有选择的线性）归结 　　由一个目标子句和若干个定子句组成的子句集称作定子句集，SLD归结是定子句集上的一种线性归结，从目标子句C0开始的，Ci是Ci-1与S中某定子句的归结式。可证明定子句上的SLD是完备的。 　　Prolog 解释过程采用的是受限的SLD归结，每次归结总是从目标子句最左边 文字开始的，而且依次同定子句作归结（宽度优先），当全部定子句均不能与当前目标子句最左边文字作归结时，引起回溯，选定当前目标子句的下一个文字为被归结文字。;用Prolog证明三段论：;4.2 家庭关系程序示例;完整的Prolog程序：;5.谁是jim的祖父母？;以上程序说明的几个重要观点：;Predicates parent(symbol) clauses parent(pam,bob). parent(tom,bob). parent(tom,liz). parent(bob,ann). parent(bob,pat). parent(pat,jim).;在Prolog中定义offspring(后代）关系;;predicates parent(symbol,symbol) sister(symbol,symbol) female(symbol) male(symbol) different(symbol,symbol) clauses parent(pam,bob). parent(tom,bob). parent(tom,liz). parent(bob,ann). parent(bob,pat). parent(pat,jim). male(tom).;mother规则：;4.3 Turbo Prolog程序结构;/* 程序名 : Wordsmith 文件名 : prog0501.pro */ /* 目 标 : 查找并打印一单词的同义词或反义词。 */ domains word,syn,ant=symbol predicates synonym(word,syn) antonym(word,ant) goal synonym(brave,X), antonym(brave,Y), write(brave 的同义词是: ,X), nl, write(brave 的反义词是: ,Y), nl. clauses synonym(brave,darin