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.