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