:
goal: xor(Input1,Input2,Output)
, , '.
9.5. .
. '. . , , . . , .
. , . , n . , . , , . , , , , . : .
.
* .
* N :
1. (N-) () ;
2. N-1 () ;
3. N- ();
4. N-1 ;
5. N- ;
, , :
1. hanoi , .
2. move, N , , .
3. inform, , .
Domains
loc = right;
Middle;
Left
Predicates
Hanoi(integer)
Move(integer, loc, loc, loc)
Inform(loc, loc)
Clauses
hanoi(N):- move(N, left, middle, right).
move(1, A, _, C):- inform(A, C),!.
move(N, A, B, C):- N1=N-1,
Move(N1, A, C, B),
Inform(A, C),