%     1   2   3   4   5   6   7   8
% 1 |   |   |   | x |   |   |   |   |
% 2 |   |   |   | x |   |   |   |   |
% 3 |   |   |   | x |   |   |   |   |
% 4 |   |   |   | x |   |   |	|   |
% 5 | x | x | x | R | x | x | x | x |
% 6 |   |   |   | x |   |   |   |   |
% 7 |   |   |   | x |   |   |   |   |
% 8 |   |   |   | x |   |   |   |   |

rook(X1,Y1,X2,Y2) :- ((X2 is X1+1,Y2 is Y1); % right
		      (X2 is X1-1,Y2 is Y1); % left
		      (X2 is X1,Y2 is Y1+1); % up
		      (X2 is X1,Y2 is Y1-1)),% down
	              1=<X2,X2=<3,
	              1=<Y2,Y2=<3.

move_user(X1,Y1,X2,Y2) :- retractall(visited(ZX,ZY)),
	                  asserta(visited(X1,Y1)),
	                  asserta(visited(X2,Y2)),
	                  move(X1,Y1,X2,Y2).

move(X1,Y1,X2,Y2) :- rook(X1,Y1,X2,Y2).
move(X1,Y1,X2,Y2) :- rook(X1,Y1,ZX,ZY),
	             not(visited(ZX,ZY)),
	             asserta(visited(ZX,ZY)),
	             print(ZX),print(','),print(ZY),print('='),
		     N is (ZY-1)*3+ZX,print(N),nl,
	             move(ZX,ZY,X2,Y2).