myhanoi.pro

来自「人工智能课程学习中的作业」· PRO 代码 · 共 19 行

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.