LO and behold! Concurrent structured processes

@inproceedings{Andreoli1990LOAB,
  title={LO and behold! Concurrent structured processes},
  author={Jean-Marc Andreoli and Remo Pareschi},
  booktitle={OOPSLA/ECOOP '90},
  year={1990}
}
We introduce a novel concurrent logic programming language, which we call LO, based on an extension of Horn logic. This language enhances the process view of objects implementable in Horn-based concurrent logic programming languages with powerful capabilities for knowledge structuring, leading to a flexible form of variable-structure inheritance. The main novelty about LO is a new kind of OR-concurrency which is dual to the usual AND-concurrency and provides us with the notion of structured… CONTINUE READING

Topics from this paper.