Programs

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