图搜索问题求解--实验报告.docx

实验报告 图捜素冋题求解 图捜素冋题求解 课程名称人工智能 诃修编 验证性、综合性实验报告应含的主要容: 一、 实验目的艮要求 二、 所用仪器、设, 三、 实验原理 四、 实验方法与步驟 五、 实验结果与数据亦理 As tt论与结龙〔时实验现象、实验曲憚及处理方法、实验屮存在的间 等进展分析和讨论，可实验的进一步想法或的良意见〕 七、所附实验输岀的结果或数据 设计性实验报告应含的主要容： —、设计要求 二、选择的方案 三、浙用仪器、设备 四、 实验月法与步骤 五、 实验结果与数据他理 穴、结论〔依据设计要求〕 七、所附实验鷹出的翁果或数需 ?月面左柄印阳性装订 可修编 . .学习.资料. 一、 实验目的及要求 熟葢PROLOG的运行环境,? g prolog tt]根本编我第习。 了解PROLOG i5言中常童、变量的表示方法。PROLOG的简単程序构造，掌辑分析 同起、询同解释枝Pi;逃展単实库、规册么阵的编与，并在此根底上述展简単的询冋。 具体实睑课上相关容，练习例1到例6的容。 图搜索同通求解。 任选以下实际应用的目：爰0斯坦的耘级同恩、字戏间恩、汉带胳间題、人數码间 做、八皇后同德、il河冋IS等，选两个。 要验报告中615：程序及其asm说軌console表単中的程序远行结果。 二、 所用仪溶、设备 PC机和trine prolog编译我件 三、 实验原理 PROLOG ?言是一忡￡1迫精推理方根底WBfi?程序ISOiS言,是-ttftttiS言而 不是过程11谄言。PROLOG 言能協自刼实现模式匹6JRI回洲、具备運旧枝未，而冃语 法简明，可以简化貝衆冋着求解。 四、 实验方法与步景 1熟悉trincprolog开发耳填，编写简单的prolog程序，学习prolog ft] g 法,进展事实库、規那么库的编写，并迎展简单的询冋。 技照防给題目选择汶谙垮与近河问题，熟悉其算法思想，编程并调试 Elio 写实验报告 五、 求解的冋恩与程序 学习 学习.资料. 求解问題」汉诺塔问 IT * 代码: hanoi(N):- move(N,left,middle jight). move(1 A_,C):- inform(A,C), !? move(N,A,B,C):- N1 is N-1, move(N1,A,C,B), inform(AtC), move(NLBAC). inform(Loc1, Loc2): -nl, writeCMove a disk from ’-Loci- to -Loc2). 求解问题：传教士与野人 代码： getjnteger(L,HtX):-LHJ,fail. get_integer(L?HfL). getJnteger(L,HtX):-L1 is L+1tgetjnteoer(L1tH,X). append。], X, X). append((A|XL Y, [A|ZJ):- append(XXZ). 学习 学习.资料. ? ?学习.资料. member(A,|A|X]). member(A.[B|X]) :■ member(A,X). del.move:- retract(move(X,Y)), fail. deLmove. deLstat- retract(inistatu(X)), retract(desstatu(Y))J. deLstat. insert_move(N):- insert_moveO(N), insert_move1(N). insert.moveO(O). insert_moveO(N):- asserta(move(N,0)). asserta(move(0,N)), N1 isN-1, insert_moveO(N1). insert_move1(N):- oetjnteger(1,N,X), getjnteger(X,N,Y), X+Y=N, asserta(move(Y,X)), fail. insert_move1(J. 廁 al((X,Y,_)):. legaH(X). legal1(Y). legal1((X,Y)):? X=:=0,Y=0,L legal1((X,Y)):? Y=:=0,X=0,!. legal1((X,Y)):? X=Y?X=0?Y=0. update((X,Y,0),MovetStatu1 (A,B)=X, (C,D)=Y, (E,F)=Move, C1 is C+E, D1 isD,F, A1 is A-E, B1 is B-F, Statu1=((A1,B1),(C1,D1),1). update((X,Y,1 ),Move,Statu1 (A,B)=X, (C,D)=Y, (E,F)=Movet C1 is C-E,