Copyright © 2002 Cycorp
The Basics
Arity
Argument Types
Second-Order Predicates
More on Functions
Predicates and Denotational
Functions
Now, lets talk a little more about predicates and go into further details.
