Prolog Trace

Enter Trace Mode

trace.

• Exits show that you are at a leaf node
• Redo shows you are backtracking