图搜索问题求解--实验题稿.doc

实 验 报 告 | | 实验名称 图搜索问题求解 课程名称 人工智能 | | 验证性、综合性实验报告应含的主要内容： 一、实验目的及要求 二、所用仪器、设备 三、实验原理 四、实验方法与步骤 五、实验结果与数据处理 六、讨论与结论（对实验现象、实验故障及处理方法、实验中存在的问题等进行分析和讨论，对实验的进一步想法或改进意见） 七、所附实验输出的结果或数据 设计性实验报告应含的主要内容： 一、设计要求 二、选择的方案 三、所用仪器、设备 四、实验方法与步骤 五、实验结果与数据处理 六、结论（依据“设计要求”） 七、所附实验输出的结果或数据 * 封面左侧印痕处装订 一、实验目的及要求 熟悉PROLOG的运行环境，进行prolog的基本编程练习。 了解PROLOG语言中常量、变量的表示方法。PROLOG的简单程序结构，掌握分析问题、询问解释技巧；进行事实库、规则库的编写，并在此基础上进行简单的询问。 具体实验课上相关内容，练习例1到例6的内容。 图搜索问题求解。 任选以下实际应用题目：爱因斯坦的超级问题、字谜问题、汉诺塔问题、八数码问题、八皇后问题、过河问题等，选两个。 要求实验报告中包括：程序及其注释和说明、console表单中的程序运行结果。 二、所用仪器、设备 PC机和trinc prolog编译软件 三、实验原理 PROLOG语言是一种以逻辑推理为基础的逻辑型程序设计语言，是一种陈述性语言而不是过程性语言。PROLOG语言能够自动实现模式匹配和回溯、具备递归技术，而且语法简明，可以简化复杂问题求解。 四、实验方法与步骤 1熟悉trinc prolog开发环境，编写简单的prolog程序，学习prolog的语法，进行事实库、规则库的编写，并进行简单的询问。 2.按照所给题目选择汉诺塔与过河问题，熟悉其算法思想，编程并调试运行。 3.写实验报告 五、求解的问题与程序 求解问题：汉诺塔问题 代码： hanoi(N):- move(N,left,middle,right). move(1,A,_,C):- inform(A,C), !. move(N,A,B,C):- N1 is N-1, move(N1,A,C,B), inform(A,C), move(N1,B,A,C). inform(Loc1, Loc2): -nl, write(Move a disk from -Loc1- to -Loc2). 求解问题：传教士与野人 代码： get_integer(L,H,X):-LH,!,fail. get_integer(L,H,L). get_integer(L,H,X):-L1 is L+1,get_integer(L1,H,X). append([], X, X). append([A|X], Y, [A|Z]) :- append(X,Y,Z). member(A,[A|X]). member(A,[B|X]) :- member(A,X). del_move:- retract(move(X,Y)), fail. del_move. del_stat:- retract(inistatu(X)), retract(desstatu(Y)),!. del_stat. insert_move(N):- insert_move0(N), insert_move1(N). insert_move0(0). insert_move0(N):- asserta(move(N,0)), asserta(move(0,N)), N1 is N-1, insert_move0(N1). insert_move1(N):- get_integer(1,N,X), get_integer(X,N,Y), X+Y=N, asserta(move(Y,X)), fail. insert_move1(_). legal((X,Y,_)):- legal1(X), legal1(Y). legal1((X,Y)):- X=:=0,Y=0,!. legal1((X,Y)):- Y=:=0,X=0,!. legal1((X,Y)):- X=Y,X=0,Y=0. update((X,Y,0),Move,Statu1):- (A,B)=X, (C,D)=Y, (E,F)=Move, C1 is C+E, D1 is D+F, A1 is A-E, B1 is B-F, Statu1=((A1,B1