---

4 Debugging

• Introduction
• The procedure box model
• Debugging predicates
  • Running and stopping the debugger
  • Leashing ports
  • Spy-points
• Debugging messages
• Debugger commands
• The WAM debugger

---

Copyright (C) 1999-2002 Daniel Diaz.

Chapters 9 and 10 : Copyright (C) 2002-2003 INRIA, Rémy Haemmerlé.

Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

More about the copyright

---