人工智能实验报告(梵塔问题).doc

实验报告 实验目的 1．掌握Visual Prolog软件编程使用方法； 2．掌握Prolog程序的各域段含义； 3．进一步学习分析、运用递归方法解决问题。 实验设备 计算机。 如上图，目的是把左边杆子的所有盘子移到右边的杆子上。一次只能移动一个盘子，你可以使用中间的杆子作为临时存放盘子的地方。小盘子必须放在大盘子之上。如果盘子只有两三个，是很容易解决的。但是随着盘子数目的增加，问题就变得非常难解了。事实上，已经通过数学证明过了，最少的移动次数是，n为盘子的数目。最早提出这个问题的人设定的盘子数目为64，这就是说需要=18446744073709551615次移动，假设计算机每秒钟能够计算10,000,000（一千万）次，那也需要58494年，所以千万不要试图使用此程序来解较大的数。让我们来看看如何用递归来解决这个问题如果只有一个盘子，直接移过去就行了，这是递归的边界条件。如果要移动N个盘子，就要分三步走：把N-1个盘子移动到中间的杆子上（把右边的杆子作为临时存放盘子的位置）。把最后一个盘子直接移到右边的杆子上。最后把中间杆子上的盘子移到右边的杆子上（把左边的杆子作为临时存放盘子的位置）。上面第一、三步用到了递归。我们看到，通过递归把N个盘子的问题变成了两个N-1个盘子的问题。如此下去，最后就变成了个一个盘子的问题了，这也就是说问题被解决了。PREDICATES hanoi(integer) move(integer,symbol,symbol,symbol) inform(symbol,symbol). CLAUSES hanoi(N):-move(N,a,b,c). move(1,A,_,C):-inform(A,C),!. move(N,A,B,C):-N1=N-1,move(N1,A,C,B), inform(A,C),move(N1,B,A,C). inform(Loc1,Loc2):-nl,write(移动1个盘子从柱 ,Loc1,到柱,Loc2). GOAL hanoi(4). 实验记录 梵塔问题： 设定目标为：hanoi(4). 结果为： 1ab 1ac 1bc 1ab 1ca 1cb 1ab 1ac 1bc 1ba 1ca 1bc 1ab 1ac 1bcyes 实验结论（结果） 梵塔问题： 该程序通过递归算法有效的解决了梵塔问题。并得出梵塔的移动过程。 实验心得与小结 通过这次实验我更加熟悉了 Prolog语言和该软件开发平台。对Prolog语言的基本语法规则和使用技巧有了更好的掌握。在使用Visual Prolog软件开发平台的过程中，我从对软件的不熟悉，经常出错，到会编写一些小型完整的Visual Prolog应用程序，在这过程中，我增长了很多知识。最后经过本次试验，我的动手能力和分析问题的能力得到提高。 实验成绩 成绩评定： 指导教师签名：