人工智能实验导论.doc

课 程 实 验 报 告 学年学期　 2015—2016年第一学期 课程名称　 人工智能原理与技术 实验名称　 PROLOG语言编程练习 实 验 室　 无 专业年级　 电气134 　 学生姓名　 赵倩 　 学生学号　 　 2013011989 提交时间 2015.12.28 　 成 绩 　 任课教师　 樊强 　 水利与建筑工程学院 第一章 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). 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),