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