15-819K Logic Programming
Lecture 23: Linear Monadic Logic Programming

• Reading:
  • Lecture Notes
  • Pablo López, Frank Pfenning, Jeff Polakow, and Kevin Watkins.
    Monadic Concurrent Linear Logic Programming.
    In A.Felty, ed., Proceedings of PPDP'05, pp.35-46.
    Lisbon, Portugal, July 2005. ACM Press.
• Code: 23-monadic
• Concepts:
  • Monadic encapsulation
  • Lax modality
  • Separating asynchronous and synchronous connectives
  • Combining forward and backward chaining
  • Committed choice forward chaining
  • Saturation and quiescence
• Previous lecture: Hyperresolution
• Next lecture: Metavariables

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

fp@cs
Frank Pfenning