Course 120.2 Prolog Programming

Overview

• Primary Concepts
• Introductory Examples
• Terms
• Prolog and Clausal-form Logic
• Deterministic Evaluations
• Non-deterministic Evaluations
• Influencing Efficiency
• Unification
• Answer Extraction
• List Processing
• Type Checking
• Comparing Terms
• Arithmetic
• Disjunction
• Negation
• Generate and Test
• Aggregation
• Pruning the Search Tree
• Meta-Programming

Course Notes in .pdf format

• Lecture Notes
• Mini-examples

Course Slides on the Web

• Start here, then click links below slides to progress through them

Unassessed Lab Exercises in .pdf format

• Exercise 1  |  Solutions 1
• Exercise 2  |  Solutions 2
• Exercise 3  |  Solutions 3
• Exercise 4  |  Solutions 4

Guide to 2005 Main Test in .pdf format

• Guide 2005

Past Main Tests in .pdf format

• Main Test Paper 2001  |  Solutions 2001 | duration 2 hours
• Main Test Paper 2002  |  Solutions 2002 | duration 2 hours
• Main Test Paper 2003  |  Solutions 2003 | duration 3 hours
• Main Test Paper 2004 (am version)  |  Solutions 2004 (am version) | duration 1.5 hours
• Main Test Paper 2004 (pm version)  |  Solutions 2004 (pm version) | duration 1.5 hours
• Main Test Paper 2005  |  Solutions 2005 | duration 3 hours