15-819K Logic Programming
Lecture 24: Metavariables

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Parameters
  • Parameter dependency
  • Skolemization
  • Raising
  • Contextual metavariables
  • Extended occurs-check
  • Higher-order abstract syntax
• Previous lecture: Linear Monadic Logic Programming
• Next lecture: Substructural Operational Semantics

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

fp@cs
Frank Pfenning