| summarize_idg/0 | Implements
XSB's statistics(summarize_idg). |
| summarize_idg/1 | Implements
XSB's statistics(summarize_idg). |
| table_statistics/0 | Print
a summary of statistics relevant to tabling. |
| table_statistics/1 | Print
a summary for the statistics of all tables for subgoals of Variant. |
| table_statistics/2 | Give
summary statistics for the tables associated with all subgoals of
Variant. |
| table_statistics/3 | Give
summary statistics for the tables associated with all subgoals of
Variant. |
| table_statistics_by_predicate/0 | Print
statistics on memory usage and lookups per predicate. |
| table_statistics_by_predicate/1 | Print
statistics on memory usage and lookups per predicate. |
| tdump/0 | Dump
all tables and their status that _unify_ with Goal. |
| tdump/1 | Dump
all tables and their status that _unify_ with Goal. |
| tdump/2 | Dump
all tables and their status that _unify_ with Goal. |
| tidg/0 | Dump
the incremental dependency graph. |
| tidg/1 | Dump
the incremental dependency graph. |
| tstat/2 | Print
the top-N (for positive Top) or bottom-N (for negative Top) for‘Stat`
for all tabled subgoals of Variant (or all tabled subgoals for tstat/2). |
| tstat/3 | Print
the top-N (for positive Top) or bottom-N (for negative Top) for‘Stat`
for all tabled subgoals of Variant (or all tabled subgoals for tstat/2). |
