VDict mobile



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