table_statistics/2

Availability::- use_module(library(tableutil)).(can be autoloaded)

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.