Prolog Terms, Backtracking and Unification

This lecture will take a closer look at the syntax and meaning of prolog programs. Bratko, chapter 2, gives more details.

• Basic Data Structures and Syntax
• More about Prolog Matching
• Backtracking
• Declarative and Procedural Views of Programs
• Some Exercises