- table_statistics(?Stat, -Value) is nondet
- table_statistics(?Variant, ?Stat, -Value) is nondet
- Give summary statistics for the tables associated with all subgoals
of Variant. The table_statistics/2 version considers all tables.
The values for Stat are:
- tables
- Total number of answer tries
- answers
- Total number of answers in the combined tries
- duplicate_ratio
- Ratio of generated (and thus ignored) duplicate answers.
1 means no duplicates. 2 means for every answer there
was (on everage) a duplicate generated.
- space_ratio
- Number of nodes with a value divided by the total number
of nodes in a trie. The maximum is
1. A low number
implies that a large amount of differently shaped data
is included in the answer tries.
- complete_call
- Number of times answers are generated from a completed
table, i.e., times answers are reused.
- invalidated
- Number of times an incremental table was invalidated.
- reevaluated
- Number of times an invalidated table wa reevaluated. If
lower than
invalidated this implies that dependent nodes
of the IDG were reevaluated to the same answer set.
- space
- Summed memory usage of the answer tries in bytes.
- compiled_space
- Summed size for the compiled representation of completed
tables.