hanoi1.bak

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

constants
l="left column"
m="center column"
r="right column"
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,B),
	move(M,C,B,A).
inform(N,X,Y):-write(" move disc "),write(N),nl,
               write(" from "),write(X),
	       write(" to the "),write(Y),nl.
	       
goal
write("please input the number you want to hanoi:"),readint(N),nl,
hanoi(N).