Home
Schedule
Assignments
Projects
Handouts
Resources
lpcourse@cs
Blackboard
fp@cs
Frank Pfenning
15819K Logic Programming
Schedule
Date
Lecture
Reading
Code
Assignment
Tue
Aug
29
Logic Programming
lecture notes
01lp
Thu
Aug
31
Data Structures
lecture notes
02data
Tue
Sep
5
Induction
lecture notes
Thu
Sep
7
Operational Semantics
lecture notes
04opsem
Assignment 1
due
Tue
Sep
12
Backtracking
lecture notes
05backtrack
Thu
Sep
14
Unification
lecture notes
06unif
Assignment 2
due
Tue
Sep
19
Lifting
lecture notes
Thu
Sep
21
Completion
lecture notes
08completion
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
11diff
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
15resources
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
BottomUp 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
23monadic
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
25ssos
Tue
Dec
5
Datalog
lecture notes
Thu
Dec
7
Constraint Logic Programming
lecture notes
27clp
Projects due
[
Home

Schedule

Assignments

Handouts

Software

Resources
]
fp@cs
Frank Pfenning