next up previous contents
Next: Aggregation Up: Programming in Tabled Prolog Previous: Object Centered Programming in

Debugging Tabled Programs

4-port Table Debugger.

The names may not be the best, but they should be clear.

1.
Call
2.
Exit

3.
Redo

4.
Fail

How does tabling affect the debugger commands

Old commands :

Abort cleans up uncompleted tables.

Skip , Leap should work.

Break allows tables to be partially visible.

New Commands:

Ancestors. At least for tables.

Various Table examination mechanisms built upon Table builtins.

Show incomplete tabled subgoals.

Show returns for a table.

Show ancestors for each suspension of an incomplete tabled subgoal.



David S. Warren
1999-07-31