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).
Tags are associated to your profile if you are logged in