第9章逻辑程序设计

?- a=b.
no

?- foo(a,b)=foo(a,b).
yes //结构递归合一
第9章 - 34
逻辑程序设计
4.3 合一

合一

?- X=a.
X=a; no //变量和常量合一 //仅此一次合一 //参数合一 //只有是一种可能
内部共享变量

?- foo(a,b)=foo(X,b).
X=a; no
第9章 - 28
逻辑程序设计
4.1 符号和数据结构

基本数据结构

表

任何非空的表 = 表头（head） + 表尾（tail）

表头：表的第一个元素； 表尾：除第一个元素，表的其它元素组成的表。

Prolog内部谓词“|”

用于将表分解为表头和表尾； 灵活使用|是写好Prolog表处理程序的关键！

注：如果Term2也是变量，互相实例化，共享值。

③如果Term1和Term2都是结构，两者合一，当且仅当


（a）两者有相同的算符（谓词）； （b）两者对应的参数匹配，即能够递归地合一； （c）变量实例化必须保持一致性；

求解目标应用子句的顺序
第9章 - 20
逻辑程序设计
3 归结与合一
第9章 - 21
逻辑程序设计
内容

1.逻辑和逻辑程序 2.Horn子句 3.归结与合一 4.Prolog语言
第9章 - 22
逻辑程序设计
Prolog语言概述

Prolog（Programming in Logic）


http://lakk.bildung.hessen.de/netzwerk/faecher/infor matik/swiprolog/indexe.html
第9章 - 24
逻辑程序设计
内容

1.逻辑和逻辑程序 2.Horn子句 3.归结与合一 4.Prolog语言


a b

, ; ) 全称量 词 存在量 词


⑥量词：描述变量
⑦标点符号：(
for all x,natural(x)
natural(successor(x))
第9章 - 5
逻辑程序设计
1.逻辑和逻辑程序

谓词演算

一阶谓词演算（first-order predicate calculus）

连接词

第9章 - 26
逻辑程序设计
4.1 符号和数据结构

基本数据结构

结构（谓词/复杂项）

vertical(line(point(X,Y),point(X,Z))).
第9章 - 27
逻辑程序设计
4.1 符号和数据结构

基本数据结构

表（List）：有限的元素序列。

由方括号[ ]之间由逗号隔开的有序元素组成。 表中的元素可以是原子、结构、或任何其它的项，包括表 在内。

?- A=B.


A = _G206 B = _G206; no
第9章 - 35
逻辑程序设计
4.3 合一

合一算法


①如果Term1和Term2是常量，那么当且仅当Term1和 Term2是相同的原子或整数； ②如果Term1是变量， Term2是任何类型的项，那么 Term1实例化为Term2；
4.1 4.2 4.3 4.4 4.5
符号和数据结构 Prolog的执行 合一 Prolog的搜索策略
循环和控制结构
第9章 - 25
逻辑程序设计
4.1 符号和数据结构

基本符号

常量

以小写字母开始的一串字母、数字、下划线或用单引号界定 的一串任何可打印的ASCII字符。

变量

以大写字母开始一串字母、数字和下划线； 下划线（_）表示匿名变量； ， ; ://and //or //implementation
(man() mortal ())
man(socrates )
man(socrates ) mortal (socrates )
mortal (socrates )
a ,a
b
b
第9章 - 7
逻辑程序设计
1.逻辑和逻辑程序
【例】证明：Fido会死
①Fido是狗
②所有的狗都是动物 ③所有的动物都会死
第9章 - 29
逻辑程序设计
4.1 符号和数据结构

基本数据结构

表

谓词“|”的使用
第9章 - 30
逻辑程序设计
内容

1.逻辑和逻辑程序 2.Horn子句 3.归结与合一 4.Prolog语言


4.1 4.2 4.3 4.4 4.5
符号和数据结构 Prolog的执行 合一 Pro
法国马赛大学作为自然语言理解项目的一部分研制成功 目前，爱丁堡大学开发的Prolog版本使用最为广泛 主要应用于人工智能领域相关问题的求解 易于表达人的逻辑思维 “说明式”的语言； 采用一阶谓词演算说明（描述）问题


迄今最能体现逻辑程序设计思想的逻辑编程语言

循环和控制结构
第9章 - 31
逻辑程序设计
4.2 Prolog的执行

Prolog程序运行

通过提问查询知识库

使用分号（ ；）查询多个解（multiple answers）
第9章 - 32
逻辑程序设计
内容

1.逻辑和逻辑程序 2.Horn子句 3.归结与合一 4.Prolog语言

第9章 - 14
逻辑程序设计
2. Horn 子句

目标驱动

自动推理系统，反向使用Horn子句
b a1 a2 a3 an
子句 头
子句 体
对b的定义

询问(目标语句)
die( fido)
无头子 句
第9章 - 15
逻辑程序设计
内容

1.逻辑和逻辑程序 2.Horn子句 3.归结与合一 4.Prolog语言

【例】
ba cb
b c, c a b, a
第9章 - 17
逻辑程序设计
3. 归结与合一

归结过程(目标驱动)

询问
a
用已知子句的头部来匹配无头子句体中的一个目标
a a1 , , an

如果成功，用已知子句的体替换被匹配的目标(归结)， 建立新的子句 a , , a
第9章 - 9
逻辑程序设计
1.逻辑和逻辑程序

谓词演算

推理规则
①化简式（与消除）：P∧Q => P 和 P∧Q=>Q ②附加式： P=>P∨Q 和 Q=>P∨Q P，P V Q => Q ③析取三段论： ④取式假言推理： P，P→Q => Q Q，P → Q => P ⑤拒式假言推理： ⑥假言三段论： P → Q，Q → R => P → R ⑦二难推理： P ∨ Q，P → R，Q →R => R ⑧全称固化： （ x）P（x） => P（a） ⑨存在固化： （ x）P（x） => P（a）
第9章 - 16
逻辑程序设计
3. 归结与合一

归结(消解)

两个Horn子句
a a1 a2 a3 an b b1 b2 b3 bm
bi匹配a

第一个Horn子句的头与第二个子句体的一个命题匹配 则第二个子句中的命题可以被替换为第一个子句的体

b b1 bi 1 a1 an bi 1 bm

是写一些诸如“下一步做什么”之类的底层算法指令。
第9章 - 3
逻辑程序设计
1.逻辑和逻辑程序

谓词演算

二值逻 辑
逻辑程序设计中使用的逻辑 【例】用谓词表示的逻辑命题

0是自然数 2是自然数
natural(0)
natural(2) natural(successor(x))
对于所有的x，如果x是自然数，则x+1也是自然数
第9章 - 1
逻辑程序设计
内容

1.逻辑和逻辑程序 2.Horn子句 3.归结与合一 4.Prolog语言
第9章 - 2
逻辑程序设计
1.逻辑和逻辑程序

逻辑程序设计

逻辑程序设计支持说明性程序设计范型

根据问题的高层描述来构建程序

告诉计算机“什么是真的”和“需要做什么”，而不是“怎
样做”。 程序员把精力放在问题（封闭的问题世界）的描述上，而不
{Y / X}
die( ) animal( )
合一
dog(fido)
{fido / Y}
die(Y ) dog(Y)
die (fido)
die(fido)
要匹配包含变量的语句 必须令变量等于某项 □
“死狗”问题的归结证
第9章 - 19
逻辑程序设计
3 归结与合一

必须解决的问题

逻辑程序系统必须使用一个高效执行的算法，规定
知识库（事实和规则）的描述采用子句（Clause）形式

Prolog是目前唯一广泛使用的逻辑程序设计语言