Debugging

# Chapter 14 Debugging

- The Box Model
- 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

1
  provided the call has been compiled in debug_compile mode, or the call is a meta-call
2
  In ECLiPSe 4.0, this was implemented as a submode (invoked with two key strokes - Hi). It is now fully integrated into the debugger