hanoi.pro

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

constants
	l="left"
	m="center"
	r="right"

predicates
	hanoi(integer)
	move(integer,string,string,string)
	inform(integer,string,string)

clauses
	hanoi(N):-move(N,l,m,r).
	move(0,_,_,_):-!.
	move(N,A,B,C):- M=N-1,
              move(M,A,C,B),
              inform(N,A,C),
              move(M,B,A,C).

	inform(N,X,Y):-write("move disc "),
	       write(N),
               write(" from "),write(X),
               write(" to the "),write(Y),nl.      
goal
/*
write("Please input the number of hanoi:"),
	readint(N),nl,
*/
hanoi(3).