15-819K Logic Programming
Lecture 13: Abstract Logic Programming

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Goal-directed search
  • Asynchronous connectives
  • Synchronous connectives
  • Invertibility of rules
  • Focusing
• Previous lecture: Linear Logic
• Next lecture: Cut Elimination

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

fp@cs
Frank Pfenning