70 likes | 228 Views
Main Console Window. Queries typed here. File menu. Launch editor window. Loads file without editor. Same as typing consult(`filename`). At command prompt. The run menu. See LPA Dialog Boxes. Debugger. Trace: Traces every statement. Debug: only stops at break points
E N D
Main Console Window Queries typed here
File menu Launch editor window Loads file without editor. Same as typing consult(`filename`). At command prompt.
The run menu See LPA Dialog Boxes
Debugger Trace: Traces every statement. Debug: only stops at break points Spypoints: are break points. Points at which you can check execution.
Debug Window Execute to next spypoint Step over a goal Shows which Predicate is being evaluated Step into a goal Shows Variable Values
Debug Window Force Failure View console Temporary break Cancel Debug Set debug options