Linear ObjectS. A concurrentlogic 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)].