Prolog语言(耐心看完,你就入门了)ppt课件
年2月（380页，35元）
2 雷英杰，邢清华，孙金萍，张雷。Visual Prolog 编程、环境及接口。北京：国防工业出版社， 2004年1月（412页，36元）
2018/11/20
Prolog语言的基本内容
1 项 2 Prolog中的语句 3 表结构 4 Prolog程序的结构
5 常用内部谓词
工智能通用程序设计语言
2018/11/20
Prolog系统
Horn
2018/11/20
子 句 集
消 解 原 理
深 度 优 先
Prolog具有下列特点：
① 是一种描述性语言。只需要告诉 “系统做什
么”，不要告诉系统 “如何做” ② 数据与程序的统一表达。提供一种统一的符
号结构 “项” ，数据与程序都是由项组成
2018/11/20
②规则： P :- P1 , P2 , … , Pn .
“ :- ”
“ ，”
表示“蕴涵”
表示“合取”
含义：若 P1 , … , Pn 均为真时，P为真
2018/11/20
③问题（目标） Goal
Q1 , Q2 , … , Qm
.
含义：待回答的问题,即 Q1 , … , Qm 同时
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).
2018/11/20
Prolog三种形式的语言都是Horn子句
问题求解就是Horn子句集消解
2018/11/20
3 表结构
表：若干个元素的有序序列
表中的元素：常量、变量、项、表 表用“[ 开
2018/11/20
]”来表示，元素之间用逗号或者空格分
例： [1, 2, 3]
[a, b, c, d]
2018/11/20
<项>::= <常量> | <变量> | <复合项>
<复合项> ::= <原子>（<项> { , <项> }）| <项> <原子> <项> { <原子> <项> }
2018/11/20
复合项：由一组其它对象组成的单个对象
例： 函数项： like(john, apple) 表： [sa, sb], [1,2,3]
2018/11/20
字符串原子是用引号括起来的符号串 特殊原子指一些特殊符号，如 +、-、*、 / 等
2018/11/20
<项>::= <常量> | <变量> | <复合项>
变量：用于表示暂时不能命名或者不需要命
名的对象，用大写字母开头
2018/11/20
特殊变量：空变量，记作：“_”
含义：我们对问题的某一个变量的值不关心
2018/11/20
为真吗？
从消解角度来看： ①（事实）中，P是Horn子句
2018/11/20
②（规则）可以表示为
P1∧P2∧…∧PnP
可以转化为 ～P1∨～P2∨…∨～Pn∨P 也是Horn子句，并受全称量词约束
2018/11/20
③（问题）是
Q1∧…∧Qm
受存在量词约束，取非后 ～Q1∨…∨～Qm 受全称量词约束，是Horn子句
6 Prolog程序设计步骤
2018/11/20
1 项
符号说明：
“ ::= ” “|” “{}”
2018/11/20
表示“ 定义为 ” 表示 “ 或 ”，Байду номын сангаас选 表示 “ 重复或者出现多个 ”
项的定义：
<项>::= <常量> | <变量> | <复合项>
2018/11/20
<项>::= <常量> | <变量> | <复合项>
表达式： (12+59)*49-96
2018/11/20
项
常量 原子
标 识 符 原 子
2018/11/20
变量 数
特 殊 原 子
复合项
字 符 串 原 子
<原子>（<项>{, <项>}） <项> <原子> <项> { <原子> <项> }
2 Prolog中的语句
Prolog中的语句分成三种形式： ①事实： P. 含义：无条件成立，恒为真 例：like( monkey, banana)
答案：X=the, Y=cat，Z＝[sat, down]
2018/11/20
4 Prolog程序的结构
Prolog的程序分为两部分：
前提部分：所有事实和规则 问题部分：目标子句序列
2018/11/20
注意：
这两部分不能颠倒。必须前提部分写在前 面，问题部分写在后面
2018/11/20
likes(m, f).
Prolog语言 (耐心看完,你 就入门了)
Prolog 语言简介
Prolog语言是一种以一阶谓词为基础的逻辑性语
言（Programming in Logic）
2018/11/20
Prolog语言的特点
Prolog语言的基本内容
简单的例子
2018/11/20
Prolog语言的特点 Prolog语言（或者系统）是以一阶谓词逻辑的 Horn 子句集为语法，以Robinson的消解原理 为工具，加上深度优先的控制策略而形成的人
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
标识符原子
命名 ：用小写字母或者小写字母开头的小写字母 数字串
用途 ：用于标识对象的名字、谓词（对象间的关
系）或函数名 例：john, marry, classmate, teacher
2018/11/20
③ 自动实现模式匹配与回溯。这是人工智能中最常 用的两项操作，Prolog自动实现这些操作
④ 程序易于编写与阅读。它是面向人的自然语言
⑤ 语句句型少，语法简明。只有三种句型
2018/11/20
参考资料：
1 雷英杰，张雷，邢清华，孙金萍。Visual Prolog 语言教程。西安：陕西科学技术出版社，2002
合集下载
〖2021年整理〗《ＬＯＧＯ语言教材讲解》完整版教学课件PPT
6、用重复命令画弧
①四分之一圆弧：REEAT 360/4[FD 1 RT 1]改变重复次数 ②半圆弧： REEAT 360/2[FD 1 RT 1]改变重复次数 ②四分之三圆弧：REEAT 360*3/4[FD 1 RT 1]改变重复次数
二、ogo语言绘图的基本命令。
8、重复命令的嵌套
定义：简单的说就是重复命令中包含着重复命令。
小海龟 画移笔到，图再形执内行部 命令然填后色落。下
FI
3、在绘图窗口中画出图210所示的三个字。
图一命令：TAMRECT 50 50 FD 25 B 25 RT 90 FD 25 B 25 RT 90 FD 25 B 25 RT 90 FD 25 B 25 RT 90 图二命令：TAMRECT 30 50 RT 90 FD 15 B 30
（九）用重复命令绘图
格式：REEAT 重复次数[重复内容] 功能：此命令将中括号中的内容重复执行指定的次数。
1、用重复命令画三角形
格式：REEAT 3[FD 边长 RT 360/3]
2、用重复命令画长方形
格式：REEAT 2 [FD 边长1 RT 90 FD 边长2 RT 90]
3、用重复命令画平行四边形
背景颜色命令：etbg 颜色代码0-15 作用：设置背景的颜色。
二、ogo语言绘图的基本命令。
（五）文本输出命令：tt 字 作用：在屏幕上显示文字。
（六）字体、字号、字型设置命令：etfont “字体名称 字号 字 型” 字型属性有下面四种：1 粗体、2 斜体、4 有下划线、8 删除线 （七）画矩形命令：
例如：REEAT 4[REEAT 3[fd 100 rt 120] rt 90]
说明：内层的重复命令用来画出基本图形（正三角形），外层重 复命令用来在不同位置画出4个基本图形，每画完一个基本图形 就向右转90度，合起来就画了4个正三角形。
①四分之一圆弧：REEAT 360/4[FD 1 RT 1]改变重复次数 ②半圆弧： REEAT 360/2[FD 1 RT 1]改变重复次数 ②四分之三圆弧：REEAT 360*3/4[FD 1 RT 1]改变重复次数
二、ogo语言绘图的基本命令。
8、重复命令的嵌套
定义：简单的说就是重复命令中包含着重复命令。
小海龟 画移笔到，图再形执内行部 命令然填后色落。下
FI
3、在绘图窗口中画出图210所示的三个字。
图一命令：TAMRECT 50 50 FD 25 B 25 RT 90 FD 25 B 25 RT 90 FD 25 B 25 RT 90 FD 25 B 25 RT 90 图二命令：TAMRECT 30 50 RT 90 FD 15 B 30
（九）用重复命令绘图
格式：REEAT 重复次数[重复内容] 功能：此命令将中括号中的内容重复执行指定的次数。
1、用重复命令画三角形
格式：REEAT 3[FD 边长 RT 360/3]
2、用重复命令画长方形
格式：REEAT 2 [FD 边长1 RT 90 FD 边长2 RT 90]
3、用重复命令画平行四边形
背景颜色命令：etbg 颜色代码0-15 作用：设置背景的颜色。
二、ogo语言绘图的基本命令。
（五）文本输出命令：tt 字 作用：在屏幕上显示文字。
（六）字体、字号、字型设置命令：etfont “字体名称 字号 字 型” 字型属性有下面四种：1 粗体、2 斜体、4 有下划线、8 删除线 （七）画矩形命令：
例如：REEAT 4[REEAT 3[fd 100 rt 120] rt 90]
说明：内层的重复命令用来画出基本图形（正三角形），外层重 复命令用来在不同位置画出4个基本图形，每画完一个基本图形 就向右转90度，合起来就画了4个正三角形。
第四章prolog语言
a
b
c
d
e
若采用path(X,Y)表示X和Y之间有一通路，则用PROLOG规
则可描述为： • • path (X,Y) :- connected (X,Y)． path (X,Y) :- connected (X,Z)，path (Z,Y)．
• 符号 “:-”表示“如果”，或者可以理解为一种蕴含→； • “，”表示并且（and）。
3、询问解释 针对上面关于两点间的通路的事实和规则一旦在计算机上 建立，就可做如下提问： a b • ?-path (a,b). a到b有通路吗? Yes 有 c d e • ?－path (b,a). b到a有通路吗? No 没有 • ?－path (d,Y). d到哪一点有通路 y=e d到e点有通路 • ?－path (b,X), path (c,X). 是否存在一点X，使得b 和c有通路到达点X？ x=d • ?－connected (a,d). a到d有一条有向边吗? No 没有
一、PROLOG语言特点（续3）
• 4. prolog程序实际上是一个智能数据库 prolog的原理就是关系数据库，它是建立在关系 数据库的基础上的。 • 它和SQL数据库查询语言有很多相似之处。使用 prolog可以很方便的处理数据。 • 5. 递归功能 递归是prolog和lisp语言的重要特点,这一特点使得 一个大数据结构能够用一个小的程序来处理。
它是在1960年作为定义数学函数的一种记法来介绍的但因其具有较强的符号处理功能和较灵活的控制结构特别适合于人工智能的研究最大的特点就是适合于处理表格利用表格的递归性进行推理从而很快受到了人工智能工作者的青睐在很长的一个时期内lisp语言一直被用作人工智能系统的主要设计语言
第四章 Prologe 程序语言设计
LOGO语言(课堂PPT)
1、软件的安装 2、界面简介
了解标题栏、菜单栏、 工具栏、绘图窗口、小 海龟、命令窗口、提示 符（ ？）、光标 （｜）、 状态栏以及常见的工具按 钮。
6
pc logo for windows基础
3、了解窗口的各种显示方式以及切换方法 LOGO语言中，可以用各窗口的最大化和还原命令改
变窗口的显示状态，也可以用输入命令的方法改变窗口的 显示状态（窗口界面视图的切换命令）： FS （fullscreen） 全图状态命令，即全图方式。 SS (splitscreen)图文混合状态命令，即图文方式。 TS (textscreen)全文本状态命令，即文本方式。
• CS (clearscreen)清屏。 清除屏幕上的图形，海 龟回母位。但，设置的属性仍保留。 例如： setw 20 fd 40 cs fd 50
• Draw 初始化命令。 使系统恢复到启动状态。效 果是：清屏（绘图窗口）后，海龟归位，设置的 属性全部初始化，即，海龟回到原点位置，头向 上，笔粗为1，笔色为黑色。
2、小海龟只会一步步走路吗？怎样让 小海龟飞一段路程再走呢？
12
几个命令
• PU（penup）抬笔命令 让海龟把 脚抬起来，移动时不画线。
• PD (pendown)落笔命令 让海龟 把脚落下，移动时画出线来。
13
笔擦命令（PE）
• PE（PENERASE） • 例如 • fd 60 • pe bk 60
乘积（度数） 120×3=360 90×4=360 72×5=360 60×6=360 45×8=360
25
小经验
• 注意：在计算机语言中，除号是/ 乘号是* • 在画正多边形时，边数越多，边长就要越
小些。否则画出的图形会出界导致错乱。
了解标题栏、菜单栏、 工具栏、绘图窗口、小 海龟、命令窗口、提示 符（ ？）、光标 （｜）、 状态栏以及常见的工具按 钮。
6
pc logo for windows基础
3、了解窗口的各种显示方式以及切换方法 LOGO语言中，可以用各窗口的最大化和还原命令改
变窗口的显示状态，也可以用输入命令的方法改变窗口的 显示状态（窗口界面视图的切换命令）： FS （fullscreen） 全图状态命令，即全图方式。 SS (splitscreen)图文混合状态命令，即图文方式。 TS (textscreen)全文本状态命令，即文本方式。
• CS (clearscreen)清屏。 清除屏幕上的图形，海 龟回母位。但，设置的属性仍保留。 例如： setw 20 fd 40 cs fd 50
• Draw 初始化命令。 使系统恢复到启动状态。效 果是：清屏（绘图窗口）后，海龟归位，设置的 属性全部初始化，即，海龟回到原点位置，头向 上，笔粗为1，笔色为黑色。
2、小海龟只会一步步走路吗？怎样让 小海龟飞一段路程再走呢？
12
几个命令
• PU（penup）抬笔命令 让海龟把 脚抬起来，移动时不画线。
• PD (pendown)落笔命令 让海龟 把脚落下，移动时画出线来。
13
笔擦命令（PE）
• PE（PENERASE） • 例如 • fd 60 • pe bk 60
乘积（度数） 120×3=360 90×4=360 72×5=360 60×6=360 45×8=360
25
小经验
• 注意：在计算机语言中，除号是/ 乘号是* • 在画正多边形时，边数越多，边长就要越
小些。否则画出的图形会出界导致错乱。
Prolog基础
Prolog的一些内建谓词
Prolog提供了一些有用的内建谓词(Builtin Predicates).内建谓词和用户定义谓词 使用方式是类似的，最重要的区别在于： 内建谓词不能出现在事实的主函数符或规 则的规则头部的位置上(因为出现在这个 位置上实际上意味着修改内建谓词的定义)
Prolog的一些内建谓词(续)
Prolog-算术表达式-is操作符
is操作符有两个参数，第二个参数必须是 一个合法的算术表达式，其中所有的变量 都必须是实例化的，第一个参数或者是一 个数字或者是表示数字的变量。
Prolog-运算符-优先级
运算符(Operators)具有优先级 (Precedence)和结合性(Associativity)两 个属性.这两个属性决定一个表达式应该 如何解释。 在Prolog中每个运算符都关联有一个整数 值(SWI-Prolog中取值范围是0～1200)表 示它的优先级。整数值越低优先级越高。
Prolog-目标的执行(续)
如果目标同某条规则的规则头部相匹配，那 么相应的变量实例化被应用在规则体中，规 则体变成了新的需要满足的目标。 规则的头部被认为是可以证明为真(provably true), true),如果它的规则体的所有谓词的合取 (conjunction，逻辑与)是可以证明为真的。 如果目标同程序中的一个事实相匹配，那么 目标的证明就完成了，匹配过程中所做的变 量实例化被返回给用户。 程序中事实和规则的出现顺序是很重要的， Prolog总是试着将当前目标与找到的第一个 可能的事实或规则头部相匹配。
is_bigger(horse,X), f(g(X, _), 7), ‘My Functor’(dog)
在函数符和参数列表的左括号之间不能有任何空 格符 组合项和原子构成了Prolog的谓词(Predicate)
7 智能控制语言prolog
➢ Prolog很适合于开发有关人工智能方面的程序，例如： 专家系统、自然语言理解、定理证明以及许多智力游 戏。曾经有人预言Prolog将成为下一代计算机的主要 语言
7.1 什么是Prolog语言
❖ Prolog程序的特点
Prolog程序没有特定的运行顺序，其运行顺序 是由电脑决定的，而不是编程序的人
7.2 Prolog入门---事实
❖ 事实 的语法结构--（原子）
原子通常是字母和数字组成，开头的字符必须是小写字母。 例如：
hello twoWordsTogether x14 为了方便阅读，可以使用下划线把单词分开。例如
a_long_atom_name z_23
下面的是不合法的原子： 123nodigitsatbeginning Nocapsfirst 下划线不能放在最前面
程中出现的程序。
和其他的语言一样，最好的学习方法是实践。本课程 将使用swi Prolog的解释器来向大家介绍几个具语言
❖ 角色扮演游戏-小女孩找毛毯
假设你所扮演的角色是一个三岁的小女孩，你想睡觉了，可是没 有毛毯（nani）你就不能安心的睡觉。所以你必须在那个大房子 中找到你的毛毯，这就是你的任务
7.2 Prolog入门---事实
❖ 角色扮演游戏-小女孩找毛毯
定义手电筒（由于是晚上，玩家必须找到手电筒，并打开 它才能到那些关了灯的房间）的状态和玩家的初始位置。
turned_off(flashlight). here(kitchen).
7 智能控制语言 Prolog
7.1 什么是Prolog语言 7.2 Prolog入门---事实 7.3 Prolog入门---查询 7.4 Prolog入门---规则 7.5 Prolog入门---算术 7.6 Prolog入门---内部谓词 7.7 Prolog入门---递归和表 7.8 Prolog入门---截断
7.1 什么是Prolog语言
❖ Prolog程序的特点
Prolog程序没有特定的运行顺序，其运行顺序 是由电脑决定的，而不是编程序的人
7.2 Prolog入门---事实
❖ 事实 的语法结构--（原子）
原子通常是字母和数字组成，开头的字符必须是小写字母。 例如：
hello twoWordsTogether x14 为了方便阅读，可以使用下划线把单词分开。例如
a_long_atom_name z_23
下面的是不合法的原子： 123nodigitsatbeginning Nocapsfirst 下划线不能放在最前面
程中出现的程序。
和其他的语言一样，最好的学习方法是实践。本课程 将使用swi Prolog的解释器来向大家介绍几个具语言
❖ 角色扮演游戏-小女孩找毛毯
假设你所扮演的角色是一个三岁的小女孩，你想睡觉了，可是没 有毛毯（nani）你就不能安心的睡觉。所以你必须在那个大房子 中找到你的毛毯，这就是你的任务
7.2 Prolog入门---事实
❖ 角色扮演游戏-小女孩找毛毯
定义手电筒（由于是晚上，玩家必须找到手电筒，并打开 它才能到那些关了灯的房间）的状态和玩家的初始位置。
turned_off(flashlight). here(kitchen).
7 智能控制语言 Prolog
7.1 什么是Prolog语言 7.2 Prolog入门---事实 7.3 Prolog入门---查询 7.4 Prolog入门---规则 7.5 Prolog入门---算术 7.6 Prolog入门---内部谓词 7.7 Prolog入门---递归和表 7.8 Prolog入门---截断
人工智能语言—Prolog
首先目标中过程调用AT(dog, train)与过程名 AT(dog, x)匹配，作置换 {train/x}，合一。
其次，调用过程AT(Zhang, x)，从而产生新目标 T(Zhang, train)，与事实匹配，产生目标 ⊓ 。因而调用成功，输出“True”。
高级人工智能
5
人工智能语言—Prolog语言
高级人工智能
10
人工智能语言—Prolog语言
Prolog的构成
目标（问题）：关于对象性质或关系的询问。 ?— student(john) ?— married(mary，x)
高级人工智能
11
人工智能语言—Prolog语言
Prolog语言的基本文法
Prolog语言的最基本语言成分是项(term)
定理证明、智能问题求解、计算机辅助设计、规 划生成等领域。
高级人工智能
8
人工智能语言—Prolog语言
Prolog的构成
事实：事实用来说明一个问题中已知的对象和它们之间 的关系。在Prolog程序中，事实由谓词名及用括号括起 来的一个或几个对象组成。谓词和对象可由用户自己定 义
student(john) married(tom, mary) likes(bill，book)
Prolog语言及其基本结构
Prolog是当代最有影响的人工智能语言之一， 由于该语言很适合表达人的思维和推理规则， 在自然语言理解、机器定理证明、专家系统 等方面得到了广泛的应用，已经成为人工智 能应用领域的强有力的开发语言。
高级人工智能
6
人工智能语言—Prolog语言
现在的Prolog语言有许多版本
项或者是常量，或者是变量，或者是一个结构。
其次，调用过程AT(Zhang, x)，从而产生新目标 T(Zhang, train)，与事实匹配，产生目标 ⊓ 。因而调用成功，输出“True”。
高级人工智能
5
人工智能语言—Prolog语言
高级人工智能
10
人工智能语言—Prolog语言
Prolog的构成
目标（问题）：关于对象性质或关系的询问。 ?— student(john) ?— married(mary，x)
高级人工智能
11
人工智能语言—Prolog语言
Prolog语言的基本文法
Prolog语言的最基本语言成分是项(term)
定理证明、智能问题求解、计算机辅助设计、规 划生成等领域。
高级人工智能
8
人工智能语言—Prolog语言
Prolog的构成
事实：事实用来说明一个问题中已知的对象和它们之间 的关系。在Prolog程序中，事实由谓词名及用括号括起 来的一个或几个对象组成。谓词和对象可由用户自己定 义
student(john) married(tom, mary) likes(bill，book)
Prolog语言及其基本结构
Prolog是当代最有影响的人工智能语言之一， 由于该语言很适合表达人的思维和推理规则， 在自然语言理解、机器定理证明、专家系统 等方面得到了广泛的应用，已经成为人工智 能应用领域的强有力的开发语言。
高级人工智能
6
人工智能语言—Prolog语言
现在的Prolog语言有许多版本
项或者是常量，或者是变量，或者是一个结构。
逻辑型程序设计语言PROLOG详细教程
逻辑型程序设计语言PROLOG教程2.3. 1逻辑型程序设计语言PROLOGPROLOG的语句PROLOG语言只有三种语句，分别称为事实、规则和问题。
1.事实(fact)格式: <谓词名>(<项表>).功能一般表示对象的性质或关系。
其中谓词名是以小写英文字母打头的字母、数字、下划线等组成的字符串，项表是以逗号隔开的项序列。
例如：student(john).like( mary ,music).表示“约翰是学生”和“玛丽喜欢音乐”。
2. 规则(rule)格式:<谓词名>(<项表>):-<谓词名>(<项表>){,<谓词名>(<项表>)}.功能: 一般表示对象间的因果关系、蕴含关系或对应关系。
其中“:-”号表示“if”（也可以直接写为if），其左部的谓词是规则的结论（亦称为头），右部的谓词是规则的前提（亦称为体），{}表示零次或多次重复，逗号表示and(逻辑与),即规则的形式是一个逻辑蕴含式。
例如：bird(X):-animal(X),has(X,feather).grandfather(X,Y):-father(X,Z),father(Z,Y).第一条规则表示“如果X是动物，并且X有羽毛，则X是鸟”；第二条规则就表示“X 是Y的祖父，如果存在Z，X是Z的父亲并且Z又是Y的父亲”。
3.问题(question)格式: ?-<谓词名>(<项表>){,<谓词名>(<项表>)}.功能表示用户的询问，它就是程序运行的目标。
例如：?-student(john).?-like(mary,X).2.3. 2 PROLOG程序PROLOG程序一般由一组事实、规则和问题组成。
问题是程序执行的起点，称为程序的目标。
例如下面就是一个PROLOG程序。
likes(bell,sports).likes(mary,music).likes(mary,sports).likes(jane ,smith).friend(john,X):-likes(X,reading),likes(X,music).friend(john,X):-likes(X,sports),likes(X,music).?-friend(john,Y).可以看出，这个程序中有四条事实、两条规则和一个问题。
人工智能-逻辑程序设计语言PROLOG
第2章 逻辑程序设计语言PROLOG
2.1 基本PROLOG 2.2 Turbo PROLOG程序设计
2.1 基本PROLOG
2.1.1 PROLOG的语句
1. 事实(fact)
格式 〈谓词名〉(〈项表〉).
student(john).
like(mary,music).
abc.
repeat.
目标段 该段是放置程序目标的地方。 目标段可以只有一 个目标谓词, 例如上面的例子中就只有一个目标谓词； 也可以含有多个目标谓词, 如 goal readint(X),Y=X+3,write(″Y=″,Y).
就有三个目标谓词。 这种目标称为复合目标。
2.2.2 数据与表达式 1. 领域 1) 标准领域
例 如果把上节的例子程序作为Turbo PROLOG程序, 则应改 写为：
DOMAINS name=symbol
PREDICATES likes(name,name). friend(name,name)
GOAL friend(john,Y), write(″Y=″, Y).
CLAUSES likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):-likes(X,sports),likes(X,music). friend(john,X):-likes(X,reading),likes(X,music).
2.2.3 输入与输出 (1) readln (X) (2) readint (X) (3) readreal (X) (4) readchar (X) (5) write (X1, X2, …,Xn) (6) nl
2.1 基本PROLOG 2.2 Turbo PROLOG程序设计
2.1 基本PROLOG
2.1.1 PROLOG的语句
1. 事实(fact)
格式 〈谓词名〉(〈项表〉).
student(john).
like(mary,music).
abc.
repeat.
目标段 该段是放置程序目标的地方。 目标段可以只有一 个目标谓词, 例如上面的例子中就只有一个目标谓词； 也可以含有多个目标谓词, 如 goal readint(X),Y=X+3,write(″Y=″,Y).
就有三个目标谓词。 这种目标称为复合目标。
2.2.2 数据与表达式 1. 领域 1) 标准领域
例 如果把上节的例子程序作为Turbo PROLOG程序, 则应改 写为：
DOMAINS name=symbol
PREDICATES likes(name,name). friend(name,name)
GOAL friend(john,Y), write(″Y=″, Y).
CLAUSES likes(bell,sports). likes(mary,music). likes(mary,sports). likes(jane,smith). friend(john,X):-likes(X,sports),likes(X,music). friend(john,X):-likes(X,reading),likes(X,music).
2.2.3 输入与输出 (1) readln (X) (2) readint (X) (3) readreal (X) (4) readchar (X) (5) write (X1, X2, …,Xn) (6) nl
用于人工智能的Prolog语言课件
用于人工智能的Prolog语言
本章主要内容：
•归结原理与Prolog语言 •家庭关系程序示例 •Turbo Prolog程序结构 •Prolog 程序分析 •回溯及控制
•表与递归 •文件与数据库 •字符串处理 •输入与输出
4.1 归结原理与Prolog语言
Prolog 是一种逻辑程序设计语言，基于一阶谓词逻辑，是 典型的叙述型语言（Declaration Language）。
clauses parent(pam,bob). parent(tom,bob). parent(tom,liz). parent(bob,ann). parent(bob,pat). parent(pat,jim).
Pat的姐妹 是谁？
goal
male(tom). male(bob). male(jim). female(pam). female(liz). female(ann). female(pat). sister(X,Y):-
Prolog目标语句：
parent(Y,jim), parent(X,Y).
5.系统回答
6.类似的问题可以是：
X
parent
grandparent
Y
clauses parent(pam,bob). parent(tom,bob). parent(tom,liz).
“谁是tom的孙子？” prolog目标语句： parent(tom,X), parent(X,Y).
一个Turbo Prolog程序通常包括5个部分。如下：
/*
注释
*/
domains 域说明
database 数据库说明
predicates 谓词说明
goal 目标说明
本章主要内容：
•归结原理与Prolog语言 •家庭关系程序示例 •Turbo Prolog程序结构 •Prolog 程序分析 •回溯及控制
•表与递归 •文件与数据库 •字符串处理 •输入与输出
4.1 归结原理与Prolog语言
Prolog 是一种逻辑程序设计语言，基于一阶谓词逻辑，是 典型的叙述型语言（Declaration Language）。
clauses parent(pam,bob). parent(tom,bob). parent(tom,liz). parent(bob,ann). parent(bob,pat). parent(pat,jim).
Pat的姐妹 是谁？
goal
male(tom). male(bob). male(jim). female(pam). female(liz). female(ann). female(pat). sister(X,Y):-
Prolog目标语句：
parent(Y,jim), parent(X,Y).
5.系统回答
6.类似的问题可以是：
X
parent
grandparent
Y
clauses parent(pam,bob). parent(tom,bob). parent(tom,liz).
“谁是tom的孙子？” prolog目标语句： parent(tom,X), parent(X,Y).
一个Turbo Prolog程序通常包括5个部分。如下：
/*
注释
*/
domains 域说明
database 数据库说明
predicates 谓词说明
goal 目标说明
人工智能技术导论(第2章)-逻辑程序设计语言prolog
其中谓词名是以小写英文字母打头的字母、 数字、 下 划线等组成的字符串, 项表是以逗号隔开的项序列。 PROLOG中的项包括由常量或变量表示的简单对象以及函数、 结构和表等, 即事实的形式是一个原子谓词公式。
第 2 章 逻辑程序设计语言 例如： student(john). like(mary,music). 就是PROLOG中的两个合法事实。 功能 一般表示对象的性质或关系。 例如上面的两个事实就分别表示“约翰是学生”和 “玛丽喜欢音乐”。
实际是一种应用相当广泛的智能程序设计语言。 同过程性语言相比, 一个PROLOG程序, 其问题就相当于 主程序, 其规则就相当于子程序, 而其事实就相当于数据。
第 2 章 逻辑程序设计语言 2.1.3 PROLOG程序的运行机理 1. 自由变量与约束变量 PROLOG中称无值的变量为自由变量, 有值的变量为约束 变量。一个变量取了某值就说该变量约束于某值, 或者说该变 量被某值所约束, 或者说该变量被某值实例化了。 在程序运行 期间, 一个自由变量可以被实例化而成为约束变量, 反之, 一个 约束变量也可被解除其值而成为自由变量。
［［1, 2］, ［3, 4, 5］, ［6, 7］］
都是合法的表。 后一个例子说明, 表也可以嵌套。
第 2 章 逻辑程序设计语言 表的说明方法是在其组成元素的说明符后加一个星号*。 如： domains lists=string* predicates
第 2 章 逻辑程序设计语言
当然, 一个程序不一定要包括上述所有段, 但一个程序 至少要有一个predicates段、clauses段和goal段。 如若省略 goal段, 则可在程序运行时临时给出, 但这仅当在开发环境中
运行程序时方可给出。若要生成一个独立的可执行文件, 则