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

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

。。。。44444。。。。。"),nl, write_a_list(L1),write("; "),write_a_list(T2),write(";=========="),write_a_list(L3),write(";"), write_a_list([H21,H22]),nl,

river(L1,T2,L3,[H21,H22],1)。 river(L1,[H21,H22|T2],L3,L4,0):listlen(L1,Len1),listlen(T2,LenT2),Len1>=LenT2+2, listlen(L3,Len3), listlen(L4,Len4),Len4>0,Len3>=Len4+2, write("two noman to right。。。。。55555。。。。。"),nl, write_a_list(L1),write("; "),write_a_list(T2),write(";=========="),write_a_list(L3),write(";"), write_a_list([H21,H22|L4]),nl, river(L1,T2,L3,[H21,H22|L4],1)。 river([H11|T1],[H21|T2],[],[],0):listlen(T1,LenT1), listlen(T2,LenT2),LenT1>=LenT2, write("one man and one nonman to right。

。。。。11111。。。。。Start point"),nl, write_a_list(T1),write("; "),write_a_list(T2),write(";=========="),write_a_list([H11]),write("; "),write_a_list([H21]),nl, river(T1,T2,[H11],[H21],1),!。 river([H11|T1],[H21|T2],L3,[],0):listlen(T1,LenT1), listlen(T2,LenT2), listlen(L3,Len3),Len3>0, LenT1>=LenT2, write("one man and one nonman to right。。。。。22222。。。。。"),nl, write_a_list(T1),write("; "),write_a_list(T2),write(";=========="),write_a_list([H11|L3]),write (";"),write_a_list([H21]),nl, river(T1,T2,[H11|L3],[H21],1)。 river([H11|T1],[H21|T2],L3,L4,0):-

listlen(T1,LenT1), listlen(T2,LenT2),LenT1>=LenT2, listlen(L3,Len3),Len3>0, listlen(L4,Len4),Len4>0,Len3>=Len4, write("one man and one nonman to right。。。。。。33333。。。。。。。。"),nl, write_a_list(T1),write("; "),write_a_list(T2),write(";=========="),write_a_list([H11|L3]),write (";"),write_a_list([H21|L4]),nl, river(T1,T2,[H11|L3],[H21|L4],1)。 river([],L2,[H31|T3],[],1):listlen(L2,Len2),Len2=1, write("one man to left。。。。。11111。。。。。"),nl, write_a_list([H31]),write("; "),write_a_list(L2),write(";=========="),write_a_list(T3),write(";"), write_a_list([]),nl, river([H31],L2,T3,[],0)。

river(L1,[],[H31|T3],[],1):listlen(L1,Len1),Len1>0, write("one man to left。。。。。22222。。。。。"),nl, write_a_list([H31|L1]),write("; "),write_a_list([]),write(";=========="),write_a_list(T3),write(";"), write_a_list([]),nl, river([H31|L1],[],T3,[],0)。 river(L1,[],[H31|T3],L4,1):listlen(L1,Len1),Len1>0, listlen(T3,LenT3), listlen(L4,Len4),Len4>0,LenT3>=Len4, write("one man to left。。。。。33333。。。。。"),nl, write_a_list([H31|L1]),write("; "),write_a_list([]),write(";=========="),write_a_list(T3),write(";"), write_a_list(L4),nl, river([H31|L1],[],T3,L4,0)。

river(L1,L2,[H31|T3],[],1):listlen(L1,Len1),Len1>0, listlen(L2,Len2),Len2>0,Len1>=Len2, write("one man to left。。。。。44444。。。。。"),nl, write_a_list([H31|L1]),write("; "),write_a_list(L2),write(";=========="),write_a_list(T3),write(";"), write_a_list([]),nl, river([H31|L1],L2,T3,[],0)。 river(L1,L2,[H31|T3],L4,1):listlen(L1,Len1),Len1>0, listlen(L2,Len2),Len2>0,Len1>=Len2, listlen(T3,LenT3), listlen(L4,Len4),Len4>0,LenT3>=Len4, write("one write_a_list([H31|L1]),write("; "),write_a_list(L2),write(";=========="),write_a_list(T3),write(";"), write_a_list(L4),nl, river([H31|L1],L2,T3,L4,0)。

river([],L2,[H31,H32|T3],[],1):listlen(L2,Len2),Len2>0,Len2<=2, write("two man to left。。。。。11111。。。。。"),nl, write_a_list([H31,H32|[]]),write("; "),write_a_list(L2),write(";=========="),write_a_list(T3),write(";"), write_a_list([]),nl, river([H31,H32|[]],L2,T3,[],0)。 river([],L2,[],[H41|T4],1):listlen(L2,Len2),Len2>0, write("one noman to left。。。。。11111。。。。。"),nl, write_a_list([]),write("; "),write_a_list([H41|L2]),write(";=========="),write_a_list([]),write man to left。。。。。55555。。。。。"),write(Len1,Len2,LenT3,Len4),nl,

(";"),write_a_list(T4),nl, river([],[H41|L2],[],T4,0)。 river([],L2,L3,[H41|T4],1):listlen(L2,Len2),Len2>0, listlen(L3,Len3),Len3>0, listlen(T4,LenT4),Len3>LenT4, write("one noman to left。。。。。22222。。。。。"),nl, write_a_list([]),write("; "),write_a_list([H41|L2]),write(";=========="),write_a_list(L3),write (";"),write_a_list(T4),nl, river([],[H41|L2],L3,T4,0)。 river(L1,[],[],[H41|T4],1):listlen(L1,Len1),Len1>0, listlen(T4,LenT4),Len1>LenT4, write("one noman to left。

。。。。33333。。。。。"),nl, write_a_list(L1),write("; "),write_a_list([H41]),write(";=========="),write_a_list([]),write("; "),write_a_list(T4),nl, river(L1,[H41],[],T4,0)。 river(L1,[],L3,[H41|T4],1):listlen(L1,Len1),Len1>0, listlen(L3,Len3), listlen(T4,LenT4),Len3>=LenT4, write("one noman to left。。。。。44444。。。。。"),nl, write_a_list(L1),write("; "),write_a_list([H41]),write(";=========="),write_a_list(L3),write("; "),write_a_list(T4),nl, river(L1,[H41],L3,T4,0)。 river(L1,L2,[],[H41|T4],1):listlen(L1,Len1),Len1>0,

listlen(L2,Len2),Len2>0,Len1>Len2, write("one noman to left。。。。。55555。。。。。"),nl, write_a_list(L1),write("; "),write_a_list([H41|L2]),write(";=========="),write_a_list([]),write (";"),write_a_list(T4),nl, river(L1,[H41|L2],[],T4,0)。 river(L1,L2,L3,[H41|T4],1):listlen(L1,Len1),listlen(L2,Len2),listlen(L3,Len3),listlen(T4,LenT4), Len1>0,Len2>0,Len3>0, Len1>Len2,Len3>LenT4, write("one noman to left。。。。。66666。。。。。"),nl, write_a_list(L1),write("; "),write_a_list([H41|L2]),write(";=========="),write_a_list(L3),write (";"),write_a_list(T4),nl, river(L1,[H41|L2],L3,T4,0)。

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