Prolog语言(耐心看完-你就入门了)剖析

(事实)
f m j s w
goal
likes(m, X), likes(j, X). (问题) 问题：是否 m 和 j 都喜欢什么东西？( X = ? )
2018/10/14
likes(m, f).
likes(m, w).
likes(j, w).
Prolog的求解过程
likes(j, s).
现在有两个问题：likes(m, X) 和 likes(j, X)） 第一步 ：第一个问题 likes(m, X) 去与事实匹配


“ :- ”
“ ，”
表示“蕴涵”
表示“合取”
含义：若 P1 , … , Pn 均为真时，P为真
2018/10/14
③问题（目标） Goal
Q1 , Q2 , … , Qm
.
含义：待回答的问题,即 Q1 , … , Qm 同时
2018/10/14
为真吗？
从消解角度来看： ①（事实）中，P是Horn子句
2018/10/14
likes(j, s).
2018/10/14
第三步：回到第一个问题 likes(m, X) ，重新匹
配，得到 { w / X}
likes(m, X) likes(j, X)
第四步：第二个问题变成 likes(j, w)。再与事实 匹配，成功
likes(m, f).
第五步：答案就是 X=w
likes(m, w). likes(j, w). likes(j, s).
问题求解就是Horn子句集消解
2018/10/14
3 表结构
表：若干个元素的有序序列
表中的元素：常量、变量、项、表
表用“[ 开
2018/10/14
]”来表示，元素之间用逗号或者空格分
例：
[1, 2, 3]
[a, b, c, d]
2018/10/14
பைடு நூலகம்
用符号“ | ”来划分表头（第一个元素）和表尾
2018/10/14
②（规则）可以表示为
P1∧P2∧…∧PnP
可以转化为 ～P1∨～P2∨…∨～Pn∨P 也是Horn子句，并受全称量词约束
2018/10/14
③（问题）是
Q1∧…∧Qm
受存在量词约束，取非后 ～Q1∨…∨～Qm 受全称量词约束，是Horn子句
2018/10/14
Prolog三种形式的语言都是Horn子句
必定引起回溯
2018/10/14
例：求 1 到 n 之间的和
定义一个二元谓词 sum(N, X)，其中 X 表示和 sum(1,1):-!. sum(N,R):- N1=N-1, sum(N1, R1), R=R1+N. ?- sum(6,X). 答案是：X=21 去掉“ ！”，会发生什么？
2018/10/14
⑤ 语句句型少，语法简明。只有三种句型
2018/10/14
参考资料：
1 雷英杰，张雷，邢清华，孙金萍。Visual Prolog 语言教程。西安：陕西科学技术出版社，2002
年2月（380页，35元）
2 雷英杰，邢清华，孙金萍，张雷。Visual Prolog 编程、环境及接口。北京：国防工业出版社， 2004年1月（412页，36元）
项的定义：
<项>::= <常量> | <变量> | <复合项>
2018/10/14
<项>::= <常量> | <变量> | <复合项>
<常量>::=<原子> | <数> <原子> ::= <标识符原子> | <字符串原子> | <特殊原子>
2018/10/14
标识符原子
命名 ：用小写字母或者小写字母开头的小写字母 数字串
（其余元素）
特例： 当只用一个元素时，表尾为空 空表（无元素），既无表头又无表尾
2018/10/14
例： P（[the, cat, sat, down]）.
?- P([ X | Y ]).
答案：X=the, Y=[cat, sat, down]
?-P([ X , Y | Z ]).
答案：X=the, Y=cat，Z＝[sat, down]
2018/10/14
4 Prolog程序的结构
Prolog的程序分为两部分：
前提部分：所有事实和规则 问题部分：目标子句序列
2018/10/14
注意：
这两部分不能颠倒。必须前提部分写在前 面，问题部分写在后面
2018/10/14
likes(m, f).
likes(m, w).
likes(j, w). likes(j, s).
（置换与合一），按顺序得到 {f/X}
2018/10/14
第二步：f 代替第二个问题 likes(j, X) 中的 X，
则得 likes(j, f) 。再与事实匹配，不能匹配， 失败，则回溯，忘掉刚才的匹配
likes(m, f). likes(m, X) likes(j, X) likes(m, w). likes(j, w).
人
工
智
能
Artificial Intelligence (AI)
2018/10/14
Prolog 语言简介
Prolog语言是一种以一阶谓词为基础的逻辑性语
言（Programming in Logic）
2018/10/14
Prolog语言的特点
Prolog语言的基本内容
简单的例子
2018/10/14
<原子>（<项>{, <项>}） <项> <原子> <项> { <原子> <项> }
2 Prolog中的语句
Prolog中的语句分成三种形式： ①事实： P. 含义：无条件成立，恒为真 例：like( monkey, banana)
2018/10/14
②规则： P :- P1 , P2 , … , Pn .
2018/10/14
Prolog语言的基本内容
1 项 2 Prolog中的语句 3 表结构 4 Prolog程序的结构
5 常用内部谓词
6 Prolog程序设计步骤
2018/10/14
1 项
符号说明：
“ ::= ” “|” “{}”
2018/10/14
表示“ 定义为 ” 表示 “ 或 ”，可选 表示 “ 重复或者出现多个 ”
?- uncle(a, U).
问题： a 是谁的叔叔 ？ （ U = ? ）
2018/10/14
Prolog的求解过程：
第一步：问题 uncle(a，U) 与事实逐个匹配，
不成功
father(a, b). father(c, d).
brother(a, c).
2018/10/14
uncle(a，U) uncle(X, Y) :- brother(X, Z) , father(Z, Y). 第二步：与规则头（左部）匹配，即寻找合一者， 有 {a/X, U/Y} 转化为两个子问题：brother(a, Z)和father（Z, U）
①若与另一个未实例化的变量 匹配 ，则视为同一变
量，两者共享
②若与另一个实例化的变量 匹配 ，也变成了实例化 的变量，且两者同值
③若与常量匹配，也变成了实例化变量，并取常量
的值
2018/10/14
第三、常量只能与相同的常量匹配
第四、实例化的变量与另一个实例化的值相同的 变量匹配，也可以与另一个未实例化的变量匹
2018/10/14
复合项：由一组其它对象组成的单个对象
例： 函数项： like(john, apple) 表： [sa, sb], [1,2,3]
表达式： (12+59)*49-96
2018/10/14
项
常量 原子
标 识 符 原 子
2018/10/14
变量 数
特 殊 原 子
复合项
字 符 串 原 子
对于“＝”（赋值与比较）的几点说明： 第一 、当一个变量已经 实例化 ，则可以与任意 未实例化的变量相等，且将其实例化（赋值
功能）
第二、两者均未实例化，eq(X, Y) 恒为真，并 视为同一变量
2018/10/14
第三、均以实例化，由当前值来决定
第四、如果为表，要求对应的元素相等，才为真 第五 、如果是谓词，谓词 同名 ，变元个数相等，
对应的变元相等
2018/10/14
③输入输出谓词
第一、write(X)：向输出设备输出实例化结果 第二、read(X)： 当 X 未实例化时，输入一个项
当 X 在输入前已经实例化，则读入项将与 X
匹配，根据匹配的成功与否，决定其真假值
2018/10/14
④谓词cut与fail（特殊谓词）：
cut ( ! )：禁止回溯
配，使另一个变量实例化，且约束值相同
2018/10/14
5 常用的内部谓词
内部谓词：Prolog系统本身定义的一些基本谓词
注意：可以直接使用，用户不能修改
2018/10/14
①算术运算
算术表达式由操作数（数、变量）、操作符和括
号组成
算术运算符号：“+、-、* 、/”（加减乘除）
2018/10/14
6 Prolog程序设计步骤
对应于Prolog程序的组成部分，设计步骤分为：
第一、说明事实：说明与待求解的问题有关的事
实。例如，人物事及相互关系，对应于 叙述