PROLOG-汉诺塔问题

最近去复习prolog的时候发现以前在csdn上看到的代码不正确所以自己重新写了一下。
hanoi(N):- move(N,a,b,c).
move(0,_,_,_):-!.
move(N,A,B,C):-M is N - 1,move(M,A,C,B),write1(A,C),move(M,B,A,C).
write1(X,Y):-writeq([X,->,Y]),nl.

PROLOG-汉诺塔问题最先出现在Python成神之路。