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