myhanoi.bak

人工智能课程学习中的作业

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.