15-816 Linear Logic
Lecture 10: Linear Objects

This lecture given by Dave Walker.

We show how a fragment of linear logic can be used as a logic programming language. This language is due to Andreoli and Pareschi and called LO. One of its motivations is to combine logic programming and object-oriented programming.

[AP91] Jean-Marc Andreoli and Remo Pareschi.
Linear Objects: Logical Processes with Built-In Inheritance.
New Generation Computing, 9:445-473, 1991.
Not available electronically.

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

Frank Pfenning