Program
část domains
část predicates
část clauses
část goal
další části
