Directives

A directive either gives a query that is to be executed when the program is loaded, or tells the system some pragmatic information about the predicates in the program. A directive takes the form of

      :- B1,B2,...,Bn.

where B1, ..., Bn are atomic formulas.