Prolog - Programming in Logic

Materials

Note this course has an 'inverted' structure - the primary tuition materials are the "Prolog Prep videos" (linked on the Moodle page below) intended to be watched before each complimentary 'Follow Up' lecture (intended to be in-person in LT1). We will also be recording the in-person lectures so those can be viewed remotely.

The primary source for the online materials is via the Moodle page for this course which links the videos and relevant content structured for each of the eight lectures.

For convenience, also linked here are:

• Course introduction
• Slides from the Prolog Prep videos
• Slides from each Follow-Up lecture
• Examples Sheet (for both Supervision 1 and Supervision 2)