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

 ddebug(:Goal)

Execute Goal, collecting the proof tree and allow the user to navigate this tree.