This library provides tabled execution, in the same way as library(tabling), but is implemented in a naive way, just collecting all the solutions and later on asserting them in the prolog database.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 table Arg1

 abolish_all_tables

 abolish_table_subgoals(Arg1)

 start_tabling(Arg1, Arg2)