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