abolish_table

SWI-Prolog Did You Know Did you know? SWI-Prolog runs on Android Termux

Search Documentation:

Predicate abolish_table_pred/1

Availability::- use_module(library(tables)).(can be autoloaded)

Invalidates all tabled subgoals for the predicate denoted by the predicate or term indicator Pred.

To be done: If Pred has a subgoal that contains a conditional answer, the default behavior will be to transitively abolish any tabled predicates with subgoals having answers that depend on any conditional answers of S.