Understanding Recursion in the Tower of Hanoi solver

Are you aware of the trace facilities built into SWI-Prolog?
I.e. trace/0 and gtrace/0

Also see:
Overview of the SWI Prolog Graphical Debugger
Protocol/1 (Used to capture screen to file)