Copyright © 2002 Cycorp
•The Basics
•Arity
•Argument Types
•Second-Order Predicates
•More on Functions
•
Predicates and Denotational Functions
For the final section of this tutorial,  I am going to say a little more about functions.