Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Parallel logic programming in PARLOG: the language and its implementation
Parallel logic programming in PARLOG: the language and its implementation
An experience with a Prolog-based object-oriented language
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Objects in concurrent logic programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Concurrent histories: a basis for observing distributed systems
Journal of Computer and System Sciences
Objects as communicating Prolog units
European conference on object-oriented programming on ECOOP '87
Dimensions of object-based language design
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Implementing a parallel PROLOG interpreter by using OCCAM and transputers
Microprocessors & Microsystems
A'UM—a stream-based concurrent object-oriented language
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
And-parallelism without shared variables
Logic programming
A transformational view of inheritance in logic programming
Logic programming
Linear objects: logical processes with built-in inheritance
Logic programming
Actors as a special case of concurrent constraint (logic) programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A logical theory of concurrent objects
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
The concurrent language, Shared Prolog
ACM Transactions on Programming Languages and Systems (TOPLAS)
Janus: a step towards distributed constraint programming
Proceedings of the 1990 North American conference on Logic programming
The implementation of a distributed model for logic programming based on multiple-headed clauses
Information Processing Letters
Performance evaluation of Monaco compiler and runtime kernel
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
Abstract interpretation of linear logic programming
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
Distributed programming with logic tuple spaces
New Generation Computing
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Abstraction and Modularity Mechanisms for Concurrent Computing
IEEE Parallel & Distributed Technology: Systems & Technology
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
Hi-index | 0.00 |
This paper presents a language based on the logic programming paradigm that supports objects, messages and inheritance. The object-oriented extension is fairly simple: objects are clusters of processes, objects' state is represented by logical variables, message-passing communication between objects is performed via multi-head clauses, and inheritance is mapped into clause union. The language implementation is obtained by translating logic objects into a concurrent logic language based on multi-head clauses, taking advantage of its distributed implementation on a massively parallel architecture. The runtime support realizes some interesting features such as intensional messages and the transparency of object allocation, object migration and parallelism.