实验一 Prolog语言编程练习

实验一Prolog语言编程练习
一、实验目的
加深对Prolog语言执行机理的认识，掌握Prolog语言的特点，熟悉其编程环境，为以后的人工智能程序设计做好准备。

1、熟悉Turbo Prolog运行环境；
2、掌握PROLOG语言的三种基本语句，以及匹配、回溯等基本机理；
3、掌握用PROLOG程序编写、编译和运行的方法。

4、编写一个小型程序并运行。

二、相关知识
1、Prolog简介
Prolog语言于20世纪70年代诞生于法国Marseille大学，此后其应用日益广泛，尤其在日本宣布Prolog为五代机的核心语言以后，更引起世界的普遍关注。

Prolog即PROgramming in LOGic，即用逻辑进行程序设计，它是由逻辑学家开发的一种描述式语言。

它以谓词逻辑为基础，故也称为逻辑型语言。

本门课程实验程序将在Turbo Prolog上实现。

2、Turbo Prolog的使用
1) 在硬盘上（假设为d盘。

最好不要用c盘）建立目录d:\Turbo Prolog，将Prolog所有文件拷贝到该目录下。

在D:\Turbo Prolog下建立存放Prolog程序的文件夹d:\Turbo Prolog\test，用来保存Prolog程序文件。

2）执行文件为D:\Turbo Prologd\ Prolog.exe，启动Prolog的运行环境。

3）在Turbo Prolog集成环境中新建一个Prolog程序（file→new file），输入程序，保存到d:\Turbo Prolog\test文件夹中。

4) 编译程序（compile）。

5）运行程序（run）。

在右侧的窗口中输入“?-”提示符后输入要查询的问题。

6）如需先前输入的修改程序，应先打开文件（file→load），修改完程序并保存后，再执行4）步进入。

三、实验内容及步骤
新建一文件：like.pro，保存至d:\Turbo Prolog\test文件夹中。

在该文件中建立如下事实数据库：
注：谓词名（如：like）和常量（如：mark）用小写字母，每条语句以点‘.’结束。

查询1：
?- like(mark,tennis). {查询的目标(goal)}
yes. {有某个事实与目标匹配，查询成功，回显' yes.'}
查询2：
?- like(mark,football).
no. {没有与目标匹配的事实，查询失败，回显'no.' }
查询3：
?- like(X, tennis ). { X为变量（大写），匹配中X与ellen被绑定}
X = ellen {按回车键}
yes. {表示还有答案}
如果用户输入分号(;)，Prolog就开始寻找其他的答案。

首先它必须释放（unbinds）变量X。

然后从上一次成功的位置的下一条子句开始继续搜索。

这个过程叫做回溯（backtracking）。

?- like(X, tennis ).
X = ellen ；
X = mark ；
X = tom ；
no {表示没有答案了}
查询4：
?- like(X, tennis ),!.
X = ellen ；
no
截断谓词cut，prolog内部谓词，使用符号！来表示。

cut能够有效地抑制其左边的子目标与其父目标的回溯，而它右边的目标则不受影响,如下面查询：
?- like(X, tennis ),! like(tom,Y ),
四、思考题
1、Prolog语言与命令式语言的执行机理有什么不同？
2、试分析Prolog推理时，目标与子句的匹配顺序。