TABLE OF CONTENTS

---

°	Syllabus
°	Books
°	Lectures
°	Assignments
°	MT: about, ps
°	Final: about, ps, solution
°	Grades
°	SWI Prolog
°	Standard ML