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


[ Home | Schedule | Assignments | Handouts | Software | Resources ]

fp@cs
Frank Pfenning