1.2. Facts and rules

A Prolog program consists of a file containing a set of facts and (optionally) a set of rules.

• 1.2.1. Facts
• 1.2.2. Rules