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
]
fp@cs
Frank Pfenning
|