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)].