15-317 Constructive Logic
Lecture 14: Logic Programming
In this lecture we introduce an entirely different connection
between logic and computation. We interpret logical rules
as programs that are executed by proof search according to
a fixed strategy.
[ Home
| Schedule
| Assignments
| Handouts
| Software
]
fp@cs
Frank Pfenning
|