Programs

A program is a sequence of logical statements, called Horn clauses. There are three types of Horn clauses: facts, rules, and directives.