tstat(?Value,
?Top)
tstat(?Variant,
?Value, ?Top)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).
Stat is one of
- answers
- duplicate_ratio
- space_ratio
- gen(call)
- space
- compiled_space
- See table_statistics/2.
- deadlock
- Times this table was involved in a deadlock (cycle of threads waiting
for each others table to complete)
- wait
- Times a thread waited for this table.
- variables
- The number of variables in the variant. The tabling logic adds a term
ret(...)
to the table for each answer, where each variable is an argument of the ret(...)
term. The arguments are placed in depth-first lef-right order they
appear in the variant. Optimal behaviour of the trie is achieved if the
variance is as much as possible to the rightmost arguments. Poor
allocation shows up as a low space_ratio statistics.
Below are some examples
