15-819K Logic Programming
Lecture 8: Completion

• Reading: Lecture Notes
• Code: 08-completion
• Concepts:
  • Existential quantification
  • Backtracking semantics with free variables
  • Connectives as search instructions
  • Focusing semantics
  • Residuation
  • Logical optimization
  • Iff completion
• Previous lecture: Lifting
• Next lecture: Types

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

fp@cs
Frank Pfenning