15-819K Logic Programming
Lecture 4: Operational Semantics

• Reading: Lecture Notes
• Code: 04-opsem
• Concepts:
  • Definitional interpreters
  • Meta-circular interpreters
  • Subgoal stack
  • Soundness and completeness
• Previous lecture: Induction
• Next lecture: Backtracking

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

fp@cs
Frank Pfenning