7.11 Tabling predicate reference
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Tabled execution (SLG resolution)
Tabling predicate reference
table/1
tnot/1
not_exists/1
tabled_call/1
current_table/2
untable/1
abolish_all_tables/0
abolish_private_tables/0
abolish_shared_tables/0
abolish_table_subgoals/1
abolish_module_tables/1
abolish_nonincremental_tables/0
abolish_nonincremental_tables/1
Packages
Availability:
built-in
tabled_call
(
:Goal
)
Helper predicate for
not_exists/1
. Defined as below. The helper is public because application may need to abolish its tables.
:- table tabled_call/1 as variant. tabled_call(Goal) :- call(Goal).
tabled_call(:Goal)tabled_call(:Goal)