TABLE OF CONTENTS 

°  Syllabus 
° Books 
° Lectures 
° Assignments 
° MT1info  soln 
° MT2info  soln 
° Finalinfo  soln 
° Exercises 
° Grades  distribn
 
 
° SML 
° SWI-Prolog