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

brother(a, c).
2017/4/13
Prolog的实现方法主要是：匹配与回溯
匹配：合一过程、消解过程 回溯：搜索，而且是深度优先搜索
2017/4/13
关于匹配的几点说明： 第一 、一个变量 被置换 后，代入了另一个 项 ， 则称该变量为实例化的变量
2017/4/13
第二、一个未实例化的变量可以与任何项匹配：
前缀：+(X,*(Y,Z))
2017/4/13
②比较谓词
eq(X, Y) ne(X, Y) gt(X, Y) X=Y X<>Y X>Y
ls(X, Y)
2017/4/13
X<Y
对于 “＝ 、<> ”，
X,Y 可以取
常量 变量 谓词 表
2017/4/13
对于“＝”（赋值与比较）的几点说明： 第一 、当一个变量已经 实例化 ，则可以与任意 未实例化的变量相等，且将其实例化（赋值
复合项：由一组其它对象组成的单个对象
例： 函数项： like(john, apple) 表： [sa, sb], [1,2,3]
表达式： (12+59)*49-96
2017/4/13
项
常量 原子
标 识 符 原 子
2017/4/13
变量 数
特 殊 原 子
复合项
字 符 串 原 子
<原子>（<项>{, <项>}） <项> <原子> <项> { <原子> <项> }
2 Prolog中的语句
Prolog中的语句分成三种形式： ①事实： P. 含义：无条件成立，恒为真 例：like( monkey, banana)
2017/4/13
②规则： P :- P1 , P2 , … , Pn .


“ :- ”
“ ，”
表示“蕴涵”
表示“合取”
含义：若 P1 , … , Pn 均为真时，P为真
2017/4/13
参考资料：
1 雷英杰，张雷，邢清华，孙金萍。Visual Prolog 语言教程。西安：陕西科学技术出版社，2002
年2月（380页，35元）
2 雷英杰，邢清华，孙金萍，张雷。Visual Prolog 编程、环境及接口。北京：国防工业出版社， 2004年1月（412页，36元）
2017/4/13
Prolog语言的基本内容
1 项 2 Prolog中的语句 3 表结构 4 Prolog程序的结构
5 常用内部谓词
6 Prolog程序设计步骤
2017/4/13
1 项
符号说明：
“ ::= ” “|” “{}”
2017/4/13
表示“ 定义为 ” 表示 “ 或 ”，可选 表示 “ 重复或者出现多个 ”
么”，不要告诉系统 “如何做” ② 数据与程序的统一表达。提供一种统一的符
号结构 “项” ，数据与程序都是由项组成
2017/4/13
③ 自动实现模式匹配与回溯。这是人工智能中最常 用的两项操作，Prolog自动实现这些操作
④ 程序易于编写与阅读。它是面向人的自然语言
⑤ 语句句型少，语法简明。只有三种句型
名的对象，用大写字母开头
2017/4/13
特殊变量：空变量，记作：“_”
含义：我们对问题的某一个变量的值不关心
2017/4/13
<项>::= <常量> | <变量> | <复合项>
<复合项> ::= <原子>（<项> { , <项> }）| <项> <原子> <项> { <原子> <项> }
2017/4/13
2017/4/13
第一个子问题 brother(a, Z) 与事实匹配，得到{c/Z} 代人第二个子问题，有 father(c, U)。与事实匹配，
得到 {d/U}，即 U=d，解是：a是d 的叔叔
father(a, b).
brother(a, Z) father（Z, U）
father(c, d).
2017/4/13
③问题（目标） Goal
Q1 , Q2 , … , Qm
.
含义：待回答的问题,即 Q1 , … , Qm 同时
2017/4/13
为真吗？
从消解角度来看： ①（事实）中，P是Horn子句
2017/4/13
②（规则）可以表示为
P1∧P2∧…∧PnP
可以转化为 ～P1∨～P2∨…∨～Pn∨P 也是Horn子句，并受全称量词约束
用途 ：用于标识对象的名字、谓词（对象间的关
系）或函数名 例：john, marry, classmate, teacher
2017/4/13
字符串原子是用引号括起来的符号串
特殊原子指一些特殊符号，如 +、-、*、 / 等
2017/4/13
<项>::= <常量> | <变量> | <复合项>
变量：用于表示暂时不能命名或者不需要命
人
工
智
能
Artificial Intelligence (AI)
2017/4/13
Prolog 语言简介
Prolog语言是一种以一阶谓词为基础的逻辑性语
言（Programming in Logic）
2017/4/13
Prolog语言的特点
Prolog语言的基本内容
简单的例子
2017/4/13
Prolog语言的特点
2017/4/13
注意：
这两部分不能颠倒。必须前提部分写在前 面，问题部分写在后面
2017/4/13
likes(m, f).
likes(m, w).
likes(j, w). likes(j, s).
(事实)
f m j s w
goal
likes(m, X), likes(j, X). (问题) 问题：是否 m 和 j 都喜欢什么东西？( X = ? )
2017/4/13
第三步：回到第一个问题 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).
2017/4/13
]”来表示，元素之间用逗号或者空格分
例：
[1, 2, 3]
[a, b, c, d]
2017/4/13
用符号“ | ”来划分表头（第一个元素）和表尾
（其余元素）
特例： 当只用一个元素时，表尾为空 空表（无元素），既无表头又无表尾
2017/4/13
例： P（[the, cat, sat, down]）.
项的定义：
<项>::= <常量> | <变量> | <复合项>
2017/4/13
<项>::= <常量> | <变量> | <复合项>
<常量>::=<原子> | <数> <原子> ::= <标识符原子> | <字符串原子> | <特殊原子>
2017/4/13
标识符原子
命名 ：用小写字母或者小写字母开头的小写字母 数字串
2017/4/13
关于 fail 的说明：
作为一个子目标，使 Prolog 程序运行到 fail，
必定引起回溯
2017/4/13
例：求 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 去掉“ ！”，会发生什么？
2017/4/13
程序的一般结构（组成部分）
Visual Prolog程序包括三到四个基本程序段：
第一、域段：说明谓词变量的域（类型） 第二、谓词段：说明非标准谓词（用户自己的
当 X 在输入前已经实例化，则读入项将与 X
匹配，根据匹配的成功与否，决定其真假值
2017/4/13
④谓词cut与fail（特殊谓词）：
cut ( ! )：禁止回溯
fail： 强迫回溯
2017/4/13
关于cut的几点说明： 第一、只允许作为一个子目标出现在程序中 第二、第一次遇到它时，总是立刻被满足，但是 不能被重新满足 第三、用户可以使用它来控制回溯方式，切断一 些不必要的回溯，提高程序运行效率
配，使另一个变量实例化，且约束值相同
2017/4/13
5 常用的内部谓词
内部谓词：Prolog系统本身定义的一些基本谓词
注意：可以直接使用，用户不能修改
2017/4/13
①算术运算
算术表达式由操作数（数、变量）、操作符和括
号组成
算术运算符号：“+、-、* 、/”（加减乘除）
2017/4/13
优先级：与通常的数学运算一致 形式：中缀：X+Y*Z
2017/4/13
第二步：f 代替第二个问题 likes(j, X) 中的 X，
则得 likes(j, f) 。再与事实匹配，不能匹配， 失败，则回溯，忘掉刚才的匹配
likes(m, f). likes(m, X) likes(j, X) likes(m, w). likes(j, w).