|Did you know ...||Search Documentation:|
|Pack ddebug -- prolog/ddebug.pl|
This module implements a declararive debugger for wrong answers produced by a Prolog program. To debug an issue in a goal, run
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.