Prolog语言(耐心看完,你就入门了)ppt课件
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
答案：X=the, Y=cat，Z＝[sat, down]
2018/11/20
4 Prolog程序的结构
Prolog的程序分为两部分：
前提部分：所有事实和规则 问题部分：目标子句序列
2018/11/20
注意：
这两部分不能颠倒。必须前提部分写在前 面，问题部分写在后面
2018/11/20
likes(m, f).
年2月（380页，35元）
2 雷英杰，邢清华，孙金萍，张雷。Visual Prolog 编程、环境及接口。北京：国防工业出版社， 2004年1月（412页，36元）
2018/11/20
Prolog语言的基本内容
1 项 2 Prolog中的语句 3 表结构 4 Prolog程序的结构
5 常用内部谓词
<常量>::=<原子> | <数> <原子> ::= <标识符原子> | <字符串原子> | <特殊原子>
2018/11/20
标识符原子
命名 ：用小写字母或者小写字母开头的小写字母 数字串
用途 ：用于标识对象的名字、谓词（对象间的关
系）或函数名 例：john, marry, classmate, teacher
2018/11/20
用符号“ | ”来划分表头（第一个元素）和表尾
（其余元素）
特例： 当只用一个元素时，表尾为空 空表（无元素），既无表头又无表尾
2018/11/20
例： P（[the, cat, sat, down]）.
?- P([ X | Y ]).
答案：X=the, Y=[cat, sat, down] ?-P([ X , Y | Z ]).
2018/11/20
字符串原子是用引号括起来的符号串 特殊原子指一些特殊符号，如 +、-、*、 / 等
2018/11/20
<项>::= <常量> | <变量> | <复合项>
变量：用于表示暂时不能命名或者不需要命
名的对象，用大写字母开头
2018/11/20
特殊变量：空变量，记作：“_”
含义：我们对问题的某一个变量的值不关心
工智能通用程序设计语言
2018/11/20
Prolog系统
Horn
2018/11/20
子 句 集
消 解 原 理
深 度 优 先
Prolog具有下列特点：
① 是一种描述性语言。只需要告诉 “系统做什
么”，不要告诉系统 “如何做” ② 数据与程序的统一表达。提供一种统一的符
号结构 “项” ，数据与程序都是由项组成
likes(m, w).
likes(j, w). likes(j, s).
(事实)
f m j s w
goal
likes(m, X), likes(j, X). (问题) 问题：是否 m 和 j 都喜欢什么东西？( X = ? )
2018/11/20
likes(m, f).
likes(m, w).
likes(j, w).
6 Prolog程序设计步骤
2018/11/20
1 项
符号说明：
“ ::= ” “|” “{}”
2018/11/20
源自文库
表示“ 定义为 ” 表示 “ 或 ”，可选 表示 “ 重复或者出现多个 ”
项的定义：
<项>::= <常量> | <变量> | <复合项>
2018/11/20
<项>::= <常量> | <变量> | <复合项>
Prolog语言 (耐心看完,你 就入门了)
Prolog 语言简介
Prolog语言是一种以一阶谓词为基础的逻辑性语
言（Programming in Logic）
2018/11/20
Prolog语言的特点
Prolog语言的基本内容
简单的例子
2018/11/20
Prolog语言的特点 Prolog语言（或者系统）是以一阶谓词逻辑的 Horn 子句集为语法，以Robinson的消解原理 为工具，加上深度优先的控制策略而形成的人
2018/11/20
③ 自动实现模式匹配与回溯。这是人工智能中最常 用的两项操作，Prolog自动实现这些操作
④ 程序易于编写与阅读。它是面向人的自然语言
⑤ 语句句型少，语法简明。只有三种句型
2018/11/20
参考资料：
1 雷英杰，张雷，邢清华，孙金萍。Visual Prolog 语言教程。西安：陕西科学技术出版社，2002
2018/11/20
②规则： P :- P1 , P2 , … , Pn .
“ :- ”
“ ，”
表示“蕴涵”
表示“合取”
含义：若 P1 , … , Pn 均为真时，P为真
2018/11/20
③问题（目标） Goal
Q1 , Q2 , … , Qm
.
含义：待回答的问题,即 Q1 , … , Qm 同时
2018/11/20
<项>::= <常量> | <变量> | <复合项>
<复合项> ::= <原子>（<项> { , <项> }）| <项> <原子> <项> { <原子> <项> }
2018/11/20
复合项：由一组其它对象组成的单个对象
例： 函数项： like(john, apple) 表： [sa, sb], [1,2,3]
2018/11/20
Prolog三种形式的语言都是Horn子句
问题求解就是Horn子句集消解
2018/11/20
3 表结构
表：若干个元素的有序序列
表中的元素：常量、变量、项、表 表用“[ 开
2018/11/20
]”来表示，元素之间用逗号或者空格分
例： [1, 2, 3]
[a, b, c, d]
2018/11/20
为真吗？
从消解角度来看： ①（事实）中，P是Horn子句
2018/11/20
②（规则）可以表示为
P1∧P2∧…∧PnP
可以转化为 ～P1∨～P2∨…∨～Pn∨P 也是Horn子句，并受全称量词约束
2018/11/20
③（问题）是
Q1∧…∧Qm
受存在量词约束，取非后 ～Q1∨…∨～Qm 受全称量词约束，是Horn子句
表达式： (12+59)*49-96
2018/11/20
项
常量 原子
标 识 符 原 子
2018/11/20
变量 数
特 殊 原 子
复合项
字 符 串 原 子
<原子>（<项>{, <项>}） <项> <原子> <项> { <原子> <项> }
2 Prolog中的语句
Prolog中的语句分成三种形式： ①事实： P. 含义：无条件成立，恒为真 例：like( monkey, banana)
2018/11/20
4 Prolog程序的结构
Prolog的程序分为两部分：
前提部分：所有事实和规则 问题部分：目标子句序列
2018/11/20
注意：
这两部分不能颠倒。必须前提部分写在前 面，问题部分写在后面
2018/11/20
likes(m, f).
年2月（380页，35元）
2 雷英杰，邢清华，孙金萍，张雷。Visual Prolog 编程、环境及接口。北京：国防工业出版社， 2004年1月（412页，36元）
2018/11/20
Prolog语言的基本内容
1 项 2 Prolog中的语句 3 表结构 4 Prolog程序的结构
5 常用内部谓词
<常量>::=<原子> | <数> <原子> ::= <标识符原子> | <字符串原子> | <特殊原子>
2018/11/20
标识符原子
命名 ：用小写字母或者小写字母开头的小写字母 数字串
用途 ：用于标识对象的名字、谓词（对象间的关
系）或函数名 例：john, marry, classmate, teacher
2018/11/20
用符号“ | ”来划分表头（第一个元素）和表尾
（其余元素）
特例： 当只用一个元素时，表尾为空 空表（无元素），既无表头又无表尾
2018/11/20
例： P（[the, cat, sat, down]）.
?- P([ X | Y ]).
答案：X=the, Y=[cat, sat, down] ?-P([ X , Y | Z ]).
2018/11/20
字符串原子是用引号括起来的符号串 特殊原子指一些特殊符号，如 +、-、*、 / 等
2018/11/20
<项>::= <常量> | <变量> | <复合项>
变量：用于表示暂时不能命名或者不需要命
名的对象，用大写字母开头
2018/11/20
特殊变量：空变量，记作：“_”
含义：我们对问题的某一个变量的值不关心
工智能通用程序设计语言
2018/11/20
Prolog系统
Horn
2018/11/20
子 句 集
消 解 原 理
深 度 优 先
Prolog具有下列特点：
① 是一种描述性语言。只需要告诉 “系统做什
么”，不要告诉系统 “如何做” ② 数据与程序的统一表达。提供一种统一的符
号结构 “项” ，数据与程序都是由项组成
likes(m, w).
likes(j, w). likes(j, s).
(事实)
f m j s w
goal
likes(m, X), likes(j, X). (问题) 问题：是否 m 和 j 都喜欢什么东西？( X = ? )
2018/11/20
likes(m, f).
likes(m, w).
likes(j, w).
6 Prolog程序设计步骤
2018/11/20
1 项
符号说明：
“ ::= ” “|” “{}”
2018/11/20
源自文库
表示“ 定义为 ” 表示 “ 或 ”，可选 表示 “ 重复或者出现多个 ”
项的定义：
<项>::= <常量> | <变量> | <复合项>
2018/11/20
<项>::= <常量> | <变量> | <复合项>
Prolog语言 (耐心看完,你 就入门了)
Prolog 语言简介
Prolog语言是一种以一阶谓词为基础的逻辑性语
言（Programming in Logic）
2018/11/20
Prolog语言的特点
Prolog语言的基本内容
简单的例子
2018/11/20
Prolog语言的特点 Prolog语言（或者系统）是以一阶谓词逻辑的 Horn 子句集为语法，以Robinson的消解原理 为工具，加上深度优先的控制策略而形成的人
2018/11/20
③ 自动实现模式匹配与回溯。这是人工智能中最常 用的两项操作，Prolog自动实现这些操作
④ 程序易于编写与阅读。它是面向人的自然语言
⑤ 语句句型少，语法简明。只有三种句型
2018/11/20
参考资料：
1 雷英杰，张雷，邢清华，孙金萍。Visual Prolog 语言教程。西安：陕西科学技术出版社，2002
2018/11/20
②规则： P :- P1 , P2 , … , Pn .
“ :- ”
“ ，”
表示“蕴涵”
表示“合取”
含义：若 P1 , … , Pn 均为真时，P为真
2018/11/20
③问题（目标） Goal
Q1 , Q2 , … , Qm
.
含义：待回答的问题,即 Q1 , … , Qm 同时
2018/11/20
<项>::= <常量> | <变量> | <复合项>
<复合项> ::= <原子>（<项> { , <项> }）| <项> <原子> <项> { <原子> <项> }
2018/11/20
复合项：由一组其它对象组成的单个对象
例： 函数项： like(john, apple) 表： [sa, sb], [1,2,3]
2018/11/20
Prolog三种形式的语言都是Horn子句
问题求解就是Horn子句集消解
2018/11/20
3 表结构
表：若干个元素的有序序列
表中的元素：常量、变量、项、表 表用“[ 开
2018/11/20
]”来表示，元素之间用逗号或者空格分
例： [1, 2, 3]
[a, b, c, d]
2018/11/20
为真吗？
从消解角度来看： ①（事实）中，P是Horn子句
2018/11/20
②（规则）可以表示为
P1∧P2∧…∧PnP
可以转化为 ～P1∨～P2∨…∨～Pn∨P 也是Horn子句，并受全称量词约束
2018/11/20
③（问题）是
Q1∧…∧Qm
受存在量词约束，取非后 ～Q1∨…∨～Qm 受全称量词约束，是Horn子句
表达式： (12+59)*49-96
2018/11/20
项
常量 原子
标 识 符 原 子
2018/11/20
变量 数
特 殊 原 子
复合项
字 符 串 原 子
<原子>（<项>{, <项>}） <项> <原子> <项> { <原子> <项> }
2 Prolog中的语句
Prolog中的语句分成三种形式： ①事实： P. 含义：无条件成立，恒为真 例：like( monkey, banana)