15-819K Logic Programming
Lecture 5: Backtracking

• Reading: Lecture Notes
• Code: 05-backtrack
• Concepts:
  • Disjunction and falsehood
  • Normal forms for programs
  • Equality
  • Explicit backtracking
  • Incompleteness of depth-first search
  • Abstract machines
• Previous lecture: Operational Semantics
• Next lecture: Unification

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

fp@cs
Frank Pfenning