A Summary of Predefined Predicates

• The Predicates eq, ne, lt, le, ge, gt
  
• The Predicate print
  
• The Predicate where
  
• The Predicate @