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.