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.