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.
Tags are associated to your profile if you are logged in