4.13.4 Predicate Summary
- there exists an X such that P is provable (used in
- B is the bag of instances of X such that P is provable
- L is the list of all solutions T for the goal G,
concatenated with R or with the empty list
- S is the set of instances of X such that P is provable
Send feedback on this subject.