注:斜粗体字表示Prolog的专有名词
事实(facts)是prolog中最简单的谓词(predicate)。它和关系数据库中的记录十分相似。在下一章中我们会把事实作为数据库来搜索。
谓词: Prolog语言的基本组成元素,可以是一段程序、一个数据类型或者是一种关系。它由谓词名和参数组成。两个名称相同而参数的数目不同的谓词是不同的谓词。
事实的语法结构如下:
pred(arg1, arg2, ... argN).
其中pred为谓词的名称。arg1,...为参数,共有N个。‘.’是所有的Prolog子句的结束符。没有参数的谓词形式如下:
pred.
参数可以是以下四种之一:
不同的Prolog还增加了一些其他的数据类型,例如浮点数和字符串等。
Prolog字符集包括: 大写字母,A-Z;小写字母,a-z;数字,0-9;+-/\^,.~:.?#$等。
原子通常是字母和数字组成,开头的字符必须是小写字母。例如:
hello |
a_long_atom_name |
no-embedded-hyphens |
'this-hyphen-is-ok' |
>,++ |
变量和原子相似, 但是开头字符四大写字母或是下划线。例如:
X
Input_List
下划线开头的都是变量
Z56
有了这些基本的知识,我们就可以开始编写事实了。事实通常用来储存程序所需的数据。例如,某次商业买卖中的顾客数据。customer/3。(/3表示customer有三个参数)
customer('John Jones', boston, good_credit).
customer('Sally Smith', chicago, good_credit).
必须使用单引号把顾客名引起来,因为它们是由大写字母开头的,并且中间有空格。
再看一个例子,视窗系统使用事实储存不同的窗口信息。在这个例子中参数有窗口名称和窗口的位置坐标。
window(main, 2, 2, 20, 72).
window(errors, 15, 40, 20, 78).
某个医疗专家系统可能有如下的疾病数据库。
disease(plague, infectious). {疾病(瘟疫,有传染性)}
Prolog的解释器提供了动态储存事实和规则的方法,并且也提供了访问它们的方法。数据库的更新是通过运行‘consult’或‘reconsult’命令。我们也可以直接在解释器中输入谓词,但是这些谓词不会被储存到硬盘上。
下面我们正式开始“寻找Nani”游戏的编写。我们从定义基本的事实开始,这些事实是本游戏的基本的数据库。它们包括:
房间和它们的联系
物体和它们的位置
物体的属性
玩家在游戏开始时的位置
“寻找Nani”游戏的的房间格局
首先我们使用room/1谓词定义房间,一共有五条子句,它们都是事实,如图2.1。
room(kitchen). |
location(desk, office). |
door(office, hall). |
edible(apple). |
turned_off(flashlight). |
联系客服