skip to primary navigationskip to content

Department of Computer Science and Technology



Course pages 2023–24

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). 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: