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