15-819K Logic Programming
Lecture 6: Unification

• Reading: Lecture Notes
• Code: 06-unif
• Concepts:
  • Substitutions
  • Composition of substitutions
  • Unifier
  • Most general unifier
• Previous lecture: Backtracking
• Next lecture: Lifting

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

fp@cs
Frank Pfenning