Chapter 3  Prolog Introduction

• Terms and their data types
  • Numbers
  • Strings
  • Atoms
  • Lists
  • Structures
• Predicates, Goals and Queries
  • Conjunction and Disjunction
• Unification and Logical Variables
  • Symbolic Equality
  • Logical Variables
  • Unification
• Defining Your Own Predicates
  • Comments
  • Clauses and Predicates
• Execution Scheme
  • Resolution
• Partial data structures
• More control structures
  • Disjunction
  • Conditional
  • Call
  • All Solutions
• Using Cut
  • Commit to current clause
  • Prune alternative solutions
• Common Pitfalls
  • Unification works both ways
  • Unexpected backtracking
• Exercises