15-819K Logic Programming
Lecture 3: Induction

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Soundness of operational semantics
  • Non-deterministic completeness
  • Rule induction
  • Inversion
  • Reasoning with and about rules
  • Operational properties
  • Forward reasoning and saturation
• Previous lecture: Data Structures
• Next lecture: Operational Semantics

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

fp@cs
Frank Pfenning