15-819K Logic Programming
Schedule

Date			Lecture	Reading	Code	Assignment

Tue	Aug	29	Logic Programming	lecture notes	01-lp
Thu	Aug	31	Data Structures	lecture notes	02-data

Tue	Sep	5	Induction	lecture notes
Thu	Sep	7	Operational Semantics	lecture notes	04-opsem	Assignment 1 due

Tue	Sep	12	Backtracking	lecture notes	05-backtrack
Thu	Sep	14	Unification	lecture notes	06-unif	Assignment 2 due

Tue	Sep	19	Lifting	lecture notes
Thu	Sep	21	Completion	lecture notes	08-completion	Assignment 3 due

Tue	Sep	26	Types	lecture notes
Thu	Sep	28	Polymorphism	lecture notes		Assignment 4 due

Tue	Oct	3	Difference Lists	lecture notes	11-diff
Thu	Oct	5	Linear Logic	lecture notes

Tue	Oct	10	Abstract Logic Programming	lecture notes		Assignment 5 due
Thu	Oct	12	Cut Elimination	lecture notes

Tue	Oct	17	Resource Management	lecture notes	15-resources
Thu	Oct	19	Midterm Exam			Assignment 6 due

Tue	Oct	24	Substitution Semantics	lecture notes
Thu	Oct	26	Mode Checking	lecture notes		White papers due

Tue	Oct	31	Proof Terms	lecture notes
Thu	Nov	2	Verifying Progress	lecture notes

Tue	Nov	7	Bottom-Up Logic Programming	lecture notes
Thu	Nov	9	Forward Chaining	lecture notes

Tue	Nov	14	Hyperresolution	lecture notes
Thu	Nov	16	Linear Monadic Logic Programming	lecture notes	23-monadic

Tue	Nov	21	Project Day (no class)			Proposals due
Thu	Nov	23	Thanksgiving (no classes)

Tue	Nov	28	Metavariables	lecture notes
Thu	Nov	30	Substructural Operational Semantics	lecture notes	25-ssos

Tue	Dec	5	Datalog	lecture notes
Thu	Dec	7	Constraint Logic Programming	lecture notes	27-clp	Projects due