人工智能----用Prolog语言完成野人过河问题的程序

数学与软件科学学院 实验报告

学期： 至 第 学期 年 月 日 课程名称：_人工智能及其应用 ： 班级：级班 实验编号： 实验工程：用 Prolog 语言完成野人过河问题的程序 指导学生： 姓名： 学号： 实验成绩：

实验三 用 Prolog 语言完成野人过河问题的程序

实验目的：

学习用Prolog语言描述一般性的实际难题的程序编写方式。

实验内容：

(1) 自己熟悉Prolog语言的其它编程科技prolog实验报告 周俊雯， 如约束函数与自由变量， 复合对象 技术，列表及其基本实现科技及应用等； (2) 运用以下科技尝试完成野人过河程序的编写与安装、测试。

实验准备：

熟悉相关的Prolog程序技术；事先编制好野人过河问题的Prolog描述。

实验方法：

(1) 熟悉相关的Prolog编程技术； 程序： check_determ trace DOMAINS integerlist=integer* PREDICATES nondeterm river(integerlist,integerlist,integerlist,integerlist,integer) /*manlist dir_flag*/ listlen(integerlist,integer) write_a_list(integerlist) nonmanlist manlist nonmanlist

append(integerlist,integerlist,integerlist) emptylist(integerlist) getfirst(integerlist,integer)-(i,o) deletefirst(integerlist,integerlist)-(i,o) insertelem(integerlist,integer,integerlist) /* appendelem(integer,integerlist,integerlist)*/ listlen([],0). listlen([_|Tail],ListLen):-listlen(Tail,L),ListLen=L+1. write_a_list([]). write_a_list([Head|Tail]):write(" "),write(Head),write_a_list(Tail). append([],L2,L2). append([X|T1],L2,[X|L3]):-append(T1,L2,L3). emptylist([]):-!. emptylist([_|_]):-fail. getfirst([],0). getfirst([H|_],H). CLAUSES

deletefirst([_|T],L):-L=T. deletefirst([],[]). insertelem(L,Elem,[Elem|L]). /**********************************************************/ /************** RULES of man and nonman problem ***********/ /**********************************************************/

/************* End ***************************/ river([],[],L3,L4,0):-nl,write("。。。。。OK。。。。。"),nl,write_a_list(L3),wr ite_a_list(L4),nl,nl。 river(L1,L2,[],[],0):listlen(L1,Len1), listlen(L2,Len2),Len1=Len2,Len1>3,!, fail。 /************* To be end***********************/ river([],[],L3,L4,1):/*To be end!*/ write("。。。。。To be end!!!!。。。。。"),nl, river([],[],L3,L4,0),!。 river([H11|[]],[],[],[],0):write("one man to right。。。。。11111。。。。。Start point"),nl, write_a_list([]),write(";"),write_a_list([]),write(";========"),write _a_list([H11]),write(";"),write_a_list([]),nl, river([],[],[H11],[],1),!。

river([H11,H12|T1],[],[],[],0):write("two man to right。。。。。11111----1。。。。。Start point"),nl, write_a_list(T1),write(";"),write_a_list([]),write(";========"),write _a_list([H11,H12]),write(";"),write_a_list([]),nl, river(T1,[],[H11,H12],[],1),!。 river([H11,H12|T1],L2,[],[],0):listlen(T1,LenT1), listlen(L2,Len2),Len2>0,LenT1>=Len2, write("two man to right。。。。。11111----2。。。。。Start point"),nl, write_a_list(T1),write(";"),write_a_list(L2),write(";========"),write _a_list([H11,H12]),write(";"),write_a_list([]),nl,

river(T1,L2,[H11,H12],[],1),!。 river([H11,H12|T1],[],L3,L4,0):listlen(L3,Len3),listlen(L4,Len4),Len3+Len4>0, L4<>[]*/ write("two man to right。。。。。22222。。。。。"),nl, write_a_list(T1),write(";"),write_a_list([]),write(";========"),write _a_list([H11,H12|L3]),write(";"),write_a_list(L4),nl, river(T1,[],[H11,H12|L3],L4,1)。 river([H11,H12|[]],[H21|[]],[],[H41|[]],0):write("two man to right。。。。。33333----1。。。。。"),nl, write_a_list([]),write(";"),write_a_list([H21]),write(";========"),wr ite_a_list([H11,H12]),write(";"),write_a_list([H41]),nl, river([],[H21],[H11,H12],[H41],1)。

river([H11,H12|T1],L2,[],L4,0):listlen(T1,LenT1), listlen(L2,Len2),Len2>0,LenT1>=Len2, listlen(L4,Len4),Len4>0,Len4<=2, write("two man to right。。。。。33333----2。。。。。"),nl, write_a_list(T1),write(";"),write_a_list(L2),write(";========"),write _a_list([H11,H12]),write(";"),write_a_list(L4),nl, river(T1,L2,[H11,H12],L4,1)。 river([H11,H12|T1],L2,L3,[],0):listlen(T1,LenT1), listlen(L2,Len2),Len2>0,LenT1>=Len2, listlen(L3,Len3),Len3>0, write("two man to right。。。。。44444。。。。。"),nl, write_a_list(T1),write(";"),write_a_list(L2),write(";========"),write /*L3<>[] or

_a_list([H11,H12|L3]),write(";"),write_a_list([]),nl, river(T1,L2,[H11,H12|L3],[],1)。 river([H11,H12|T1],L2,L3,L4,0):listlen(T1,LenT1), listlen(L2,Len2),Len2>0, listlen(L3,Len3),Len3>0, listlen(L4,Len4),Len4>0, LenT1>=Len2, Len3>=Len4, write("two man to right。。。。。55555-1。。。。。"),write(LenT1,Len2,Len3,Len4),nl, write_a_list(T1),write(";"),write_a_list(L2),write(";========"),write _a_list([H11,H12|L3]),write(";"),write_a_list(L4),nl, river(T1,L2,[H11,H12|L3],L4,1)。

river([H11,H12|[]],L2,L3,L4,0):listlen(L2,Len2),Len2>0, listlen(L3,Len3),Len3>0, listlen(L4,Len4),Len4>0, Len3>=Len4, write("two man to right。。。。。55555-2。。。。。"),write("0",Len2,Len3,Len4),nl, write_a_list([]),write(";"),write_a_list(L2),write(";========"),write _a_list([H11,H12|L3]),write(";"),write_a_list(L4),nl, river([],L2,[H11,H12|L3],L4,1)。 river([],[H21|[]],[],[],0):write("one noman to right。。。。。11111。。。。。Start point"),nl, write_a_list([]),write("; "),write_a_list([]),write(";=========="),write_a_list([]),write(";"), write_a_list([H21|[]]),nl,

river([],[],[],[H21|[]],1),!。 river(L1,[H21,H22|T2],[],[],0):listlen(L1,Len1),listlen(T2,LenT2),Len1>=LenT2+2, write("two noman to right。。。。。11111。。。。。Start point"),nl, write_a_list(L1),write("; "),write_a_list(T2),write(";=========="),write_a_list([]),write(";"), write_a_list([H21,H22]),nl, river(L1,T2,[],[H21,H22],1),!。 river([],[H21,H22|T2],L3,L4,0):/* listlen(L3,Len3),listlen(L4,Len4),Len3>=Len4+2,*/ write("two noman to right。。。。。22222。。。。。"),nl, write_a_list([]),write("; "),write_a_list(T2),write(";=========="),write_a_list(L3),write(";"), write_a_list([H21,H22|L4]),nl, river([],T2,L3,[H21,H22|L4],1)。

本文来自电脑杂谈，转载请注明本文网址：
http://www.pc-fly.com/a/jisuanjixue/article-120399-1.html