SWI-Prolog -- abolish_table

Documentation
- Reference manual
  - Tabled execution (SLG resolution)
    - Tabling predicate reference
- Packages

Availability:built-in

abolish_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).