Operators for Declaring and Modifying Tabled Predicates

table +P₁/N₁, ..., +P_k/N_k.

Tabling
Declares each predicate denoted by P_i/N_i to be tabled.

use_subsumptive_tabling +PredSpec₁, ..., +PredSpec_k.

Tabling
Declares each tabled predicate denoted by PredSpec_i to use subsumption-based tabling, thus overriding the current system default. 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₁, ..., +PredSpec_k.

Tabling
Declares each tabled predicate denoted by PredSpec_i to use variant-based tabling, thus overriding the current system default. The same comments apply as above.