15-819K Logic Programming
Lecture 16: Substitution Semantics

• Reading: Lecture Notes
• Code: none
• Concepts:
  • Semantic levels
  • Substitution semantics
  • Asynchronous substitution semantics
• Previous lecture: Resource Management
• Next lecture: Mode Checking

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

fp@cs
Frank Pfenning