TABLE OF CONTENTS

---

°	Syllabus
°	References
°	Lectures
°	Assignments
°	MT  solution
°	Projects
°	Grades
°	Lambda Prolog
°	SWI Prolog
°	Standard ML