Debugger tool

Logtalk provides an extended procedure box model debugger supporting:

  • Classic call, exit, redo, fail ports
  • Exception port
  • Fact and rule unification ports
  • Predicate spy points
  • Context spy points
  • Breakpoints (aka line number spy points)
  • Extended set of debugging commands at leashed ports

Related, Logtalk provides a debugging control construct for calling and testing local object predicates. For details, see

The Logtalk message printing mechanism also supports a set of predefined meta messages that are handy for debugging. For details, see the remarks section at

For details on the debugger tool, see

For information on debugging, see