Скачиваний:
47
Добавлен:
23.06.2014
Размер:
520 б
Скачать
%‡ ¤ з  ® 8 дҐа§пе. Џ®ЁбЄ ў Ј«гЎЁ­г.

solve(Start,Solve):-
depth([],Start,Solve).
depth(P,X,[X|P]):-
goal(X).
depth(P,X,Solve):-
next(X,X1),
not(member(X1,P)),
depth([X|P],X1,Solve).

next(L,[F|L]):-
member(F,[1,2,3,4,5,6,7,8]),
notbeat(F,L,1).
goal([_,_,_,_,_,_,_,_]).
notbeat(_,[],_).
notbeat(F,[F1|L],D):-
F=\=F1,
D=\=abs(F-F1),
D1=D+1,
notbeat(F,L,D1).