1. DATABASE PROLOG

• 1.1. Introduction
• 1.2. Facts and rules
• 1.3. Horn Clause Logic
• 1.4. Unification
• 1.5. Exercises