6.14.1 Declaring and Modifying Tabled Predicates

table +P$_1$/N$_1$, ..., +P$_k$/N$_k$.

Tabling
Used as a compiler declaration, it indicates that each predicate denoted by the predicate indicator P$_i$/N$_i$ is to be compiled using tabling. Executed as a directive in a state of execution where no clauses exist for P$_i$/N$_i$, table/1 ensures that any clauses asserted for P$_i$/N$_i$ use tabling.

use_subsumptive_tabling +PredSpec$_1$, ..., +PredSpec$_k$.

Tabling
Declares each tabled predicate denoted by PredSpec$_i$ to use call-subsumption, thus overriding the system default of call variance. The tabling strategy can be changed at will through the invocation of this and the following predicate. Note, however, that the table for the predicate must be empty at the time of the change.

use_variant_tabling +PredSpec$_1$, ..., +PredSpec$_k$.

Tabling
Declares each tabled predicate denoted by PredSpec$_i$ to use call-variance, thus overriding the current system default. The same comments apply as for use_subsumptive_tabling/1.