LO and behold! Concurrent structured processes

@inproceedings{Andreoli1990LOAB,
  title={LO and behold! Concurrent structured processes},
  author={J. Andreoli and R. Pareschi},
  booktitle={OOPSLA/ECOOP '90},
  year={1990}
}
  • J. Andreoli, R. Pareschi
  • Published in OOPSLA/ECOOP '90 1990
  • Computer Science
  • 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.

    Conditioned Rewriting Logic as a United Model of Concurrency
    • 1,112
    • PDF
    Monadic concurrent linear logic programming
    • 71
    • PDF
    The Structure and Semantics of Actor Languages
    • 84
    Implementing the Linear Logic Programming Language Lygon
    • 44
    Multiparadigm Logic Programming
    • 52
    Parallel Programmming in Maude
    • 58
    Linear Objects in a Logic Processes with Built-in Inheritance
    • 8
    • PDF
    The AbstrAct Scheme for Concurrent Programming
    • 7
    Linear Objects: a Logic Framework for Open System Programming
    • 3