Schedule / Lectures

1	Week 1: Intro, Datalog, and Horn SAT
2	Week 2: Datalog Implementation
3	Week 3: First-Order Logic

7.3

Weekly lectures are shown in the table on the left...

	Readings
	Policies / Grading
	Schedule / Lectures
	Collaboration and the Honor Code