/**************************************************/
/*                TOWERS OF HANOI                 */
/*                ===============                 */
/**************************************************/

Predicates
	hanoi(integer)
	move(integer,integer,integer,integer)
       	inform(integer,integer,integer)
Clauses
	hanoi(N):-N<1,!,fail.
	hanoi(N):-move(N,1,2,3).
	
	move(1,X,_,Z):-inform(1,X,Z).
	move(N,X,Y,Z):-M=N-1,move(M,X,Z,Y),inform(N,X,Z),
			move(M,Y,X,Z).
	
	inform(N,X,Z):-write(N,":",X,"->",Z),nl.

Goal		 	
 	write("Enter the Number: "),
 		readint(I),hanoi(I),nl.
	
	
/*	
Enter the number: 4
1:1->2
2:1->3
1:2->3
3:1->2
1:3->1
2:3->2
1:1->2
4:1->3
1:2->3
2:2->1
1:3->1
3:2->3
1:1->2
2:1->3
1:2->3
	
	
Enter the Number: 3
1:1->3
2:1->2
1:3->2
3:1->3
1:2->1
2:2->3
1:1->3


Enter the Number: 2
1:1->2
2:1->3
1:2->3
*/