Chapter 15 Debugging
The Box Model
Breakpoints
Format of the Tracing Messages
Debugging-related Predicate Properties
Starting the Debugger
Debugging Parts of Programs
Mixing debuggable and non-debuggable code
Using the Debugger via the Command Line Interface
Counters and Command Arguments
Commands to Continue Execution
Commands to Modify Execution
Display Commands
Navigating among Goals
Inspecting Goals and Data
Changing the Settings
Environment Commands
Extending the Debugger
User-defined Ports
Attaching a Different User Interface
Switching To Creep Mode With
CTRL-C