TABLE OF CONTENTS

---

°	Syllabus
°	References
°	Lectures
°	Assignments
°	MT: info , solution
°	Projects
°	Grades
°	Lambda Prolog
°	SWI Prolog
°	Standard ML
°	Mailing list