|
|
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. |