Sets and Bags: Collecting Solutions to a Goal

• ref-all-bas: Introduction
• ref-all-cse: Collecting a Sorted List
• ref-all-cba: Collecting a Bag of Solutions
• ref-all-lib: Library Support
• ref-all-sum: Predicate Summary