Trace Menu
 

Trace menu gives access to the following commands:
 
First Step Makes an initial step in answering the 'main' question.
From Next Enables tracing to continue after answering the 'main' question once to obtain more answers.
One Step Makes a step in executing the current goal
Step Over Tries to satisfy the current goal without stopping to display subgoals and their working, i.e. as if it were a primitive one.
Go Continues execution just like that of already bug-free Prolog source, i.e. without displaying current states any longer.
Trace Breaks the program and starts tracing
Terminate Terminates the program execution (and tracing mode as well). 
Back 10 steps Not implemented yet.
Break Point Opens the Break Point window.
Proof Tree Opens the Proof Tree window.