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).