- abolish_table_pred(:CallTermOrPI)
- 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.