Lecture materials First to Third Weeks Revision of the logic programming materials from Functional and Logic Programming. Fourth and Fifth Weeks 🧑🏫 Introduction to constraint programming 🧑🏫 SICStus Prolog Sixth and Seventh Weeks 🧑🏫 Constraint systems