Program Structure Top Control Structure
This section describes functions for testing whether various facts are true or false.