Did you know ... Search Documentation:
Pack ddebug -- prolog/ddebug.pl
PublicShow source

This module implements a declararive debugger for wrong answers produced by a Prolog program. To debug an issue in a goal, run

?- ddebug(Goal).

This records the proof tree as a hierarchy of successful goals and allows the user to navigate this hierarchy.

Based on work by Wlodek Drabent, drabent@ipipan.waw.pl

See also
- https://home.ipipan.waw.pl/w.drabent/ICLP2023.DDfeasibility.pdf
Execute Goal, collecting the proof tree and allow the user to navigate this tree.