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

L&O

Logic and Objects. A front end for IC Prolog.

FTP. E-mail: Zacharias Bobolakis <zb@doc.ic.ac.uk>.

["Logic and Objects", Frank McCabe, Prentice-Hall].