Introduction to Prolog: Course Notes - Contents

• 1. DATABASE PROLOG
  • 1.1. Introduction
  • 1.2. Facts and rules
    • 1.2.1. Facts
    • 1.2.2. Rules
  • 1.3. Horn Clause Logic
  • 1.4. Unification
  • 1.5. Exercises
• 2. PURE PROLOG
  • 2.1. Recursion and lists
    • 2.1.1. Lists
      • 2.1.1.1. first/2
      • 2.1.1.2. second/2
      • 2.1.1.3. tail/2
    • 2.1.2. Exercises:
    • 2.1.3. Recursion
      • 2.1.3.1. member/2
      • 2.1.3.2. append/3
    • 2.1.4. Exercises
  • 2.2. Operators
    • 2.2.1. Precedence
    • 2.2.2. Associativity
  • 2.3. Arithmetic in Prolog
    • 2.3.1. Exercises
• 3. FULL PROLOG
  • 3.1. Input and output
  • 3.2. Metalogical predicates
  • 3.3. Cut
    • 3.3.1. Exercise
  • 3.4. Final Programming Exercise