Syllabus
Fundamental issues in intelligent systems: search; logic, knowledge representation and
reasoning. Practicals will be in the form of
Prolog programming exercises for each topics above. No previous knowledge of Prolog or
logic programming is required.