15-819K Logic Programming
Lecture 12: Linear Logic

• Reading: Lecture Notes
• Code: none
• Concepts:
  • State-passing style
  • State-dependent truth
  • Linear assumptions as state
  • Simultaneous and alternative conjunction
  • Consumptive and empty truth
  • Linear implication
  • Disjunction and falsehood
  • Resource management
  • Multiplicative, additive, and exponential connectives
• Previous lecture: Difference Lists
• Next lecture: Abstract Logic Programming

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

fp@cs
Frank Pfenning