You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL