skip to primary navigationskip to content

Course pages 2022–23

Prolog - Programming in Logic


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). This year (unlike previously) 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: