7.11 Tabling predicate reference
All Application Manual Name SummaryHelp

Availability:built-in
Sourceabolish_table_subgoals(:Subgoal)
Abolish all tables that unify with SubGoal. Tables that have undefined answers that depend of the abolished table are abolished as well (recursively). For example, given the program below, abolish_table_subgoals(und) will also abolish the table for p/0 because its answer refers to und/0 . 
p :- und.
und :- tnot(und).
ClioPatria (version V3.1.1-51-ga0b30a5)