华北电力大学科技学院
实验报告
|
|
实验名称PROLOG语言编程练习及图搜索问题求解
课程名称人工智能及应用
|
|
专业班级：学生姓名：
学号：成绩：
指导教师：刘丽实验日期：
（实验报告如打印，纸张用A4，左装订；页边距：上下2.5cm,左2.9cm, 右2.1cm；字体：宋体小四号，1.25倍行距。

）
验证性、综合性实验报告应含的主要内容：
一、实验目的及要求
二、所用仪器、设备
三、实验原理
四、实验方法与步骤
五、实验结果与数据处理
六、讨论与结论（对实验现象、实验故障及处理方法、实验中存在的问题等进行分析和讨论，对实验的进一步想法或改进意见）
七、所附实验输出的结果或数据
设计性实验报告应含的主要内容：
一、设计要求
二、选择的方案
三、所用仪器、设备
四、实验方法与步骤
五、实验结果与数据处理
六、结论（依据“设计要求”）
七、所附实验输出的结果或数据
* 封面左侧印痕处装订
抽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环境。

移动作用的某个状态上，从而到达新的状态。

最后再使用深度搜索方法就可以找到答案了。

六、讨论与结论
爱因斯坦超级问题：由于第13个条件中我们没有使用题目中的右边的限制，所以答案就有两个，你可以看到这两个答案的最后两个房间正好倒了过来。

传教士野人问题：人工智能搜索可分为盲目搜索和启发式搜索。

盲目搜索算法有宽度优先算法、深度优先算法，启发式搜索算法有A算法、A*算法。

本实验采用的是盲目搜索算法。

Prolog是描述型的语言，你只要使用Prolog的语言把问题描述一遍就行了，剩下的问题就让计算机做吧。

如果使用其它的语言，例如C、Basic等，你就不得不自己考虑程序的流程，所以这些语言都叫作过程型的语言。

比起Prolog可是低级多了。

七、所附实验输出的结果或数据
爱因斯坦的超级问题：
- solve(X,TT,TTT).
传教士野人问题：
- findroad(((0,0),(3,3),1),((3,3),(0,0),0),[((0,0),(3,3),1)],L).
需要回答的问题
13题.总结prolog的发展历史
答：Prolog（Programming in Logic的缩写）是一种逻辑编程语言。

它创建在逻辑学的理论基础之上，最初被运用于自然语言等研究领域。

现在它已广泛的应用在人工智能的研究中，它可以用来建造专家系统、自然语言理解、智能知识库等。

Prolog语言最早由Aix-Marseille大学的Alain Colmerauer与Phillipe Roussel 等人于60年代末研究开发。

1972年被公认为是Prolog语言正式诞生的年份，自1972年以后，分支出多种Prolog的方言。

最主要的两种方言为Edinburgh和Aix-Marseille。

最早的Prolog解释器由Roussel建造，而第一个Prolog编译器则是David Warren编写的。

Prolog一直在北美和欧洲被广泛使用。

日本政府曾经为了建造智能计算机而用Prolog来开发ICOT第五代计算机系统。

在早期的机器智能研究领域，Prolog曾经是主要的开发工具。

80年代Borland开发的Turbo Prolog，进一步普及了Prolog的使用。