A.59 library(tableutil): Table inspection and statistics utilities
All Application Manual Name SummaryHelp

Availability::- use_module(library(tableutil)).(can be autoloaded)
Source[nondet]table_statistics(?Stat, -Value)
[nondet]table_statistics(?Variant, ?Stat, -Value)
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.