人工智能实验报告

课 程 实 验 报 告

学年学期课程名称实验名称实 验 室专业年级学生姓名学生学号提交时间成 绩任课教师 2015—2016年第一学期 人工智能原理与技术 PROLOG语言编程练习 无 电气134 赵倩 2013011989 2015.12.28 樊强

水利与建筑工程学院

1

第一章 PROLOG语言编程练习

1.1 实验目的

加深学生对逻辑程序运行机理的理解，使学生掌握PROLOG语言的特点、熟悉其编程环境，同时为后面的人工智能程序设计做好准备。

（1）熟悉PROLOG语言编程环境的使用；

（2）了解PROLOG语言中常量、变量的表示方法；

（3）了解利用PROLOG进行事实库、规则库的编写方法；

1.2 实验环境

计算机，Turbo PROLOG教学软件。

1.3 预习要求

实验前应阅读实验指导书，了解实验目的、预习PROLOG语言的相关知识。

1.4 实验内容

（1）学习使用Turbo PROLOG，包括进入PROLOG主程序、编辑源程序、修改环境目录、退出等基本操作。 （2）在Turbo prolog集成环境下调试运行简单的Turbo PROLOG程序，如描述亲属关系的PROLOG程序或其他小型演绎数据库程序等。

1.5 实验方法和步骤

（1）启动Windows XP操作环境。

（2）打开文件目录，执行prolog应用程序，启动Turbo prolog，并按空格键(SPACE)进入集成开发环境。 （3）选择Setup项，打开下拉菜单，选择Directories项，进行工作目录修改，按Esc键退出，选择Save Configuration项，保存修改。

（4）选择Files项，打开下拉菜单，选择New file项，进入源程序输入和编辑，或选择Load项，选择要打开的示例程序，再选择Edit项，可以进行编辑源程序。

（5）编辑之后，可以选择Run项，执行程序，可以在Dialog窗口进行询问，即外部目标的执行，查看程序运行结果，分析程序之功能。

（6）仿前例，可以选择其他程序并运行，分析程序功能。

（7）退出，选择Quit项，可以退出Turbo Prolog程序，返回到Windows XP环境。

1.6 示例程序

逻辑电路模拟程序。该程序以逻辑运算“与”、“或”、“非”的定义为基本事实，然后在此基础上定义了“异或”运算。那么，利用这些运算就可以对“与”、“或”、“非”和“异或”等逻辑电路进行模拟。事实上，在此基础上也可以对其他任一逻辑门电路进行模拟。

domains

d=integer predicates not_(d,d) and_(d,d,d) or_(d,d,d) xor_(d,d,d) clauses

not_(1,0). not_(0,1). and_(0,0,0). and_(0,1,0). and_(1,0,0). and_(1,1,1).

2

or_(0,0,0). or_(0,1,1). or_(1,0,1). or_(1,1,1).

xor_(Input1, Input2, Output):- not_(Input1,N1), not_(Input2,N2), and_(Input1,N2,N3), and_(Input2,N1,N4), or_(N3,N4,Output). 实现同或 domains

d=integer predicates not_(d,d) and_(d,d,d) or_(d,d,d) th_(d,d,d) clauses

not_(1,0). not_(0,1). and_(0,0,0). and_(0,1,0). and_(1,0,0). and_(1,1,1). or_(0,0,0). or_(0,1,1). or_(1,0,1). or_(1,1,1).

th_(Input1, Input2, Output):- not_(Input1,N1), not_(Input2,N2),

and_(Input1,Input2,N3), and_(N1,N2,N4),

3

or_(N3,N4,Output).

1.7 实验总结

出现的问题：对于每个谓词的格式没有看清，老把下划线忘掉，还以为程序不对。 解决方案：仔细阅读程序，名字和格式都了解过后再验证。

心得：Prolog是一门语言，需要较长的时间才能掌握，如今只是验证，可以凭借对谓词的英文意思看懂程序。

4

课 程 实 验 报 告

学年学期课程名称实验名称实 验 室专业年级学生姓名学生学号提交时间成 绩任课教师 2015—2016年第一学期 人图搜索问题求解 PROLOG语言编程练习 无 电气134 赵倩 2013011989 2015.12.28 樊强

水利与建筑工程学院

5

本文来源：https://www.bwwdw.com/article/kisf.html