Inductive Logic Syllabus