标准实验报告模板.docx

电子科技大学实验报告学生姓名：学号：指导教师：实验地点：实验时间：一、实验室名称：二、实验项目名称：三、实验学时：四、实验原理：数理逻辑是用数学的方法来研究推理的形式结构和推理规律的数学学科，它与数学的其他分支、计算机学科、人工智能、语言学等学科均有十分密切的联系，并且日益显示出它的重要作用和更加广泛的应用前景。要很好地使用计算机，就必须学习逻辑。命题逻辑是谓词逻辑的基础，谓词逻辑是在命题逻辑的基础上，对命题进行进一步的细分，分解出命题中的主语、谓语等，以便能处理句子的内部结构之间的逻辑关系，而非仅仅是句子之间的逻辑关系。五、实验目的：本实验通过编写一些简单的prolog程序，让计算机来解答相应的逻辑问题，培养理论联系实际和自主学习的能力，提高程序设计水平。六、实验内容：使用prolog编写程序解决如下问题1）有五个房子，每个房子的颜色不同，里面分别住着不同国家的人，每个人都有自己养的不同的宠物，喜欢和不同的饮料，抽不同牌子的烟。现在已知以下的一些信息：英国人（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）吗？或者你能把所有的东西都对号入座吗？糊涂先生给他的五个朋友写信，他写了五封信，但是当他的朋友收到信后，都告诉他：“你的信寄错了”。那么请你计算一下：出现这种情况的概率有多少？（假设糊涂先生是随机地往信封里装信的），你能不能把所有的情况都列出来呢？把三个1，三个2，…，三个9排成一组数列，使得对于所有的数i, i属于[1,9], 正好有i个数字位于其中。例如1, 9, 1, 2, 1, 8, 2, 4, 6, 2, 7, 9, 4, 5, 8, 6, 3, 4, 7, 5, 3, 9, 6, 8, 3, 5, 7.两个1中间都有一个数字，每两个2中间都有两个数字。求出满足条件的所有排列。4）设计完成图的广度优先有哪些信誉好的足球投注网站算法。七、实验器材（设备、元器件）：PC机一台，装有C/C++/JAVA语言集成开发环境。八、实验步骤：每个房子有不同的颜色，所以就颜色来说就有5！种情况，而一共有五个特征：颜色、国籍、宠物、香烟和饮料。所以一共就有5!*5种情况，即600种。不是很多，完全可以使用程序穷举出来。在此程序中使用结构h(C,N,P,Y,D)来储存房间的信息。C,N,P,Y,D分别对应颜色、国籍、宠物、香烟和饮料。由于有五个房间，所以使用列表来储存所有房间的信息。此列表为：[h(C1,N1,P1,Y1,D1),h(C2,N2,P2,Y2,D2),h(C3,N3,P3,Y3,D3),h(C4,N4,P4,Y4,D4),h(C5,N5,P5,Y5,D5)]一开始所有房间的情况都是未知的，所以就使用变量来代表每个房间的情况。在后面的条件中经常要读取房间的某个信息，所以下面就先编写五个谓词来完成这项工作。color(h(C,N,P,Y,D),C).nation(h(C,N,P,Y,D),N).pet(h(C,N,P,Y,D),P).yan(h(C,N,P,Y,D),Y).drink(h(C,N,P,Y,D),D).条件中还用到了房间之间的相对位置的信息，下面的谓词就是完成这个任务的。next(A,B,[A,B,C,D,E]).next(B,C,[A,B,C,D,E]).next(C,D,[A,B,C,D,E]).next(D,E,[A,B,C,D,E]).next(B,A,[A,B,C,D,E]).next(C,B,[A,B,C,D,E]).next(D,C,[A,B,C,D,E]).next(E,D,[A,B,C,D,E]).用语言来描述就是：首先Z5是个房子，对应于member(Z5,X)；然后它的宠物是fox，对应于pet(Z5,fox)；它的邻居是Z6，对应于next(Z6,Z5,X)；最后Z6的人抽c