cl: Predicates

 
 3 Predicates
 ************
 
 This section describes functions for testing whether various facts are
 true or false.
 

Menu