TABLE OF CONTENTS

---

°	Syllabus
°	Books
°	Lectures
°	Assignments
°	MT: info , solution
°	Final: info , solution
°	Grades
°	SWI Prolog
°	Standard ML
°	Mailing list