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)].
Nearby terms:
LM-Prolog « LMTP « LNF « LO » L&O » load »
load balancing
|