Tower of hanoi

domains
loc=symbol
predicates
hanoi(integer)
move(integer,loc,loc,loc)
inform(loc,loc)
clauses
hanoi(N):-move(N,left,right,middle).
move(1,A,_,C):-
inform(A,C),!.
move(N,A,B,C):-
N1=N-1,
move(N1,A,C,B),
inform(A,B),
move(N1,B,A,C).
inform(LOC1,LOC2):-
write("\n move disc from ",LOC1," to " ,LOC2).