Архив форумов ЦИТФорума

[Ustyugova]

помогите кто-нибудь с задачей по прологу(компилятор Turbo Prolog 2.0) задача обход конем доски. Есть следующий листинг:
domains
X = integer.
XY = step(X,X).
Path = XY*.

predicates
nondeterm start(Path).
nondeterm solver(Path,X,Path).
nondeterm xod(XY,XY).
nondeterm select_step(Path,XY).
xod_ok(XY).
member(Path,XY).
back_path(Path,Path).
append(Path,Path,Path).


clauses
xod(step(X,Y),step(X1,Y1)):-X1=X+1,Y1=Y+2.
xod(step(X,Y),step(X1,Y1)):-X1=X-1,Y1=Y+2.
xod(step(X,Y),step(X1,Y1)):-X1=X+2,Y1=Y+1.
xod(step(X,Y),step(X1,Y1)):-X1=X+2,Y1=Y-1.
xod(step(X,Y),step(X1,Y1)):-X1=X-1,Y1=Y-2.
xod(step(X,Y),step(X1,Y1)):-X1=X+1,Y1=Y-2.
xod(step(X,Y),step(X1,Y1)):-X1=X-2,Y1=Y+1.
xod(step(X,Y),step(X1,Y1)):-X1=X-2,Y1=Y-1.

select_step([step(X,Y)|_],step(X1,Y1)):-xod(step(X,Y),step(X1,Y1)).

member([X|_],X):-!.
member([_|Y],X):-member(Y,X).

append([],L,L):-!.
append([H|T],L,[H|V]):-append(T,L,V).

back_path([],[]).
back_path([X|P],P1):-back_path(P,Z),append(Z,[X],P1).

xod_ok(step(X,Y)):-X>0,X<=8,Y>0,Y<=8.

solver(N,62,M):-!,back_path(N,M).

solver(Path,I,L):-select_step(Path,step(X,Y)),xod_ok(step(X,Y)),not(member(Path,step(X,Y))),I1=I+1,
solver([step(X,Y)|Path],I1,L).

start(N):-solver([step(1,1)],1,N).

нужно написать к нему запрос, но не получается пролог падает