15-819K Logic Programming
Lecture 7: Lifting

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Explicit rule application
  • Free variable deduction
  • Lifting ground deductions
  • Eliminating the occurs-check
• Previous lecture: Unification
• Next lecture: Completion

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

fp@cs
Frank Pfenning