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

History

Fixed in 8.1.30 (👉b01c81d) abolish_table_subgoals/1: check for goal to be acyclic and raise an error if it is cyclic (XSB compatibility).