Chapter 3: Functions and Predicates

• Functions
• Predicates
• Function Objects
• Negators and Binders