LO

Linear Objects

A concurrent logic programming language based on "linear logic", an extension of Horn logic with a new kind of OR-concurrency.

"LO and Behold! Concurrent Structured Processes", J. Andreoli et al, SIGPLAN Notices 25(10):44-56 (OOPSLA/ECOOP '90) (Oct 1990).