Prolog人工智能实验报告.docVIP

华北电力大学科技学院 实 验 报 告 | | 实验名称 PROLOG语言编程练习及图搜索问题求解 课程名称 人工智能及应用 | | 专业班级： 学生姓名： 学 号： 成 绩： 指导教师：刘丽 实验日期： （实验报告如打印，纸张用A4，左装订；页边距：上下2.5cm,左2.9cm, 右2.1cm；字体 验证性、综合性实验报告应含的主要内容： 一、实验目的及要求 二、所用仪器、设备 三、实验原理 四、实验方法与步骤 五、实验结果与数据处理 六、讨论与结论（对实验现象、实验故障及处理方法、实验中存在的问题等进行分析和讨论，对实验的进一步想法或改进意见） 七、所附实验输出的结果或数据 设计性实验报告应含的主要内容： 一、设计要求 二、选择的方案 三、所用仪器、设备 四、实验方法与步骤 五、实验结果与数据处理 六、结论（依据“设计要求”） 七、所附实验输出的结果或数据 * 封面左侧印痕处装订 华 北 电 力 大 学 科 技 学 院 实 验 报 告 第 页 共 页 一、实验目的及要求 熟悉PROLOG的运行环境，进行PROLOG的基本编程练习。 了解PROLOG语言中常量、变量的表示方法。PROLOG的简单程序结构，掌握分析问题、询问解释技巧；进行事实库、规则库的编写，并在此基础上进行简单的询问。 具体实验课上相关内容，练习example1到example6的内容。 图搜索问题求解。 任选以下实际应用题目：爱因斯坦的超级问题、字谜问题、汉诺塔问题（三选一）、八数码问题、八皇后问题、农夫过河问题、传教士与野人问题（四选一），共选两个。 要求实验报告中包括： 通过PROLOG的基本编程练习，说明实验的方法和步骤。 针对图搜索要求，说明求解的问题与程序、程序分析、注释、运行结果等，在讨论与结论部分说明实验收获、难点重点讨论等。 双面打印。 二、所用仪器、设备 PC机和trinc prolog编译软件 三、实验原理 PROLOG语言是一种以逻辑推理为基础的逻辑型程序设计语言，是一种陈述性语言而不是过程性语言。PROLOG语言能够自动实现模式匹配和回溯、具备递归技术，而且语法简明，可以简化复杂问题求解。 爱因斯坦的超级问题：有五个房子，每个房子的颜色不同，里面分别住着不同国家的人，每个人都有自己养的不同的宠物，喜欢喝不同的饮料，抽不同牌子的烟。现在已知以下的一些信息： 英国人（englishman）住在红色（red）的房子里 西班牙人（spaniard）养了一条狗（dog） 挪威人（norwegian）住在左边的第一个房子里 黄房子（yellow）里的人喜欢抽kools牌的香烟 抽chesterfields牌香烟的人与养狐狸（fox）的人是邻居 挪威人（norwegian）住在蓝色（blue）的房子旁边 抽winston牌香烟的人养了一只蜗牛（Snails） 抽Lucky Strike牌香烟的人喜欢喝桔子汁（orange juice） 乌克兰人（ukrainian）喜欢喝茶（tea） 日本人（japanese）抽parliaments牌的烟 抽kools牌的香烟的人与养马（horse）的人是邻居 喜欢喝咖啡（coffee）的人住在绿（green）房子里 绿（green）房子在象牙白（ivory）房子的右边（图中的右边） 中间那个房子里的人喜欢喝牛奶（milk） 根据以上条件，你能告诉我哪个房子里的人养斑马（zebra），哪个房子里的人喜欢喝水（water）吗？或者你能把所有的东西都对号入座吗？ 传教士与野人问题：有N个传教士和N个野人来到河边准备渡河，河岸有一条船，每次至多可k人乘渡。问传教士为了安全起见，应如何规划摆渡方案，使得任何时刻，在河的两岸以及船上的野人数目总是不超过传教士的数目。即求解传教士和野人从左岸全部摆渡到右岸的过程中，任何时刻满足M（传教士数）≥C（野人数）和M＋C≤k的摆渡方案。 四、实验方法与步骤 1、启动Windows 2000以上版本操作环境。 2、启动PROLOG集成开发环境。 3、选择Files/New/Text Edit项可以进行源程序编辑。 4、编辑结束之后，选择Compile项编译程序，并分析程序是否有语法或逻辑错误。 5、在主窗口的询问栏写入问题，选择Prove求取问题答案。 6、退出，选择Files/Exit项，可以退出PROLOG编辑编译环境，返回到Windows环境。 五、求解的问题与程序 爱因斯坦的超级问题：实现