How to run programs

A program consists of a set of predicates. A predicate is made up of a sequence (not necessarily consecutive) of clauses whose heads have the same predicate symbol and the same arity. Each predicate is defined in one module stored in a file unless it is declared to be dynamic.