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.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in