7.4 Tabling predicate reference
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Tabled execution (SLG resolution)
Tabling predicate reference
table/1
current_table/2
abolish_all_tables/0
abolish_table_subgoals/1
Packages
Availability:
built-in
abolish_table_subgoals
(
:Subgoal
)
Abolish all tables that unify with
SubGoal
.