TABLE OF CONTENTS
°
Syllabus
°
Books
°
Lectures
°
Assignments
°
Grades
°
Announcements
°
SML
°
Comments and FAQ about SML
°
Compute your grade
°
Solution of Midterm #2
°
SWI-Prolog
°
Exercises for the Final Exam
°
Information about the Final Exam
°
Solution of the Final Exam