I did this one for fun.
I came to the Shen community for top class research, this goal has
been met. This one, the Towers of Hanoi, was one of my first attempts
with the Shen Prolog.
Try
(prolog? (hanoi 0 a b c))
(prolog? (hanoi 4 a b c))
etc etc.
AJY
Finland