Parallel logic programming in PARLOG: the language and its implementation
Parallel logic programming in PARLOG: the language and its implementation
Theoretical Computer Science
Actors: a conceptual foundation for concurrent object-oriented programming
Research directions in object-oriented programming
Vulcan: logical concurrent objects
Research directions in object-oriented programming
Concurrent object-oriented programming in Act 1
Object-oriented concurrent programming
Channels: A generalization of streams
Concurrent Prolog
Proofs and types
Linear objects: logical processes with built-in inheritance
Logic programming
On the development of reactive systems
Logics and models of concurrent systems
Concurrent constraint programming languages
Concurrent constraint programming languages
Communication as fair distribution of knowledge
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Introduction to the literature on object-oriented design, programming, and languages
ACM SIGPLAN OOPS Messenger
Fucusing and Proof-Nets in Linear and Non-commutative Logic
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Flexible Agent Programming in Linear Logic
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Monadic concurrent linear logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Building computer models from small pieces
Proceedings of the 2007 Summer Computer Simulation Conference
Proof-theoretic and higher-order extensions of logic programming
A 25-year perspective on logic programming
| Hi-index | 0.00 |
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 process. Such OR-concurrency can be nicely characterized with a sociological metaphor as modelling the internal distribution of tasks inside a complex organization; this complements the external cooperation among different entities accounted for by AND-concurrency.