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 https://logtalk.org/manuals/refman/control/context_switch_2.html

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 https://logtalk.org/library/logtalk_0.html

For details on the debugger tool, see https://github.com/LogtalkDotOrg/logtalk3/blob/master/tools/debugger/NOTES.md

For information on debugging, see https://logtalk.org/manuals/userman/programming.html#programming_debugging