Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communicating sequential processes
PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Meta-level programming and knowledge representation
New Generation Computing
Parallel logic programming languages
Proceedings on Third international conference on logic programming
The blackboard model of problem solving
AI Magazine
Fundamentals of artificial intelligence: an advanced course
Proceedings of the 4th conference on Logic programming '85
Concurrent histories: a basis for observing distributed systems
Journal of Computer and System Sciences
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Inference system environment for Ada
Proceedings of the Ada-Europe International Conference on Ada-components: libraries and tools
Multilanguage Parallel Programming of Heterogeneous Machines
IEEE Transactions on Computers - Special issue on architectural support for programming languages and operating systems
International Journal of Parallel Programming
A subset of Concurrent Prolog and its interpreter
Concurrent Prolog
Communications of the ACM
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
The Hearsay-II Speech-Understanding System: Integrating Knowledge to Resolve Uncertainty
ACM Computing Surveys (CSUR)
Multiple Tuple Spaces in Linda
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
A Distributed, Net Oriented Semantics for Delta Prolog
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
Proceedings of the 14th IBM Computer SCience Symposium on Operating Systems Engineering
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Parallel interpretation of logic programs
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Communication as fair distribution of knowledge
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Notes on implementing sets in Prolog
Communications of the ACM
Coordinating rule-based software processes with ESP
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using a Prolog meta-programming approach for a blackboard application
ACM SIGAPP Applied Computing Review
Adaptive algorithms for PASO systems
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Decomposition Abstraction in Parallel Rule Languages
IEEE Transactions on Parallel and Distributed Systems
On the semantics of tuple-based coordination models
Proceedings of the 1999 ACM symposium on Applied computing
Extending a parallel CLP language to support the development of multi-agent systems
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
On the expressive power of a language for programming coordination media
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Formal Derivation of Rule-Based Programs
IEEE Transactions on Software Engineering
On the expressiveness of coordination via shared dataspaces
Science of Computer Programming - Special issue on coordination languages and architectures
Multicast Protocols for Jinni Agents
IICS '01 Proceedings of the International Workshop on Innovative Internet Computing Systems
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Logic Programming Languages for the Internet
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Designing Multi-agent Systems around an Extensible Communication Abstraction
Selected papers from the ESPRIT Project ModelAge Final Workshop on Formal Models of Agents
Generic Process Algebras for Asynchronous Communication
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
On the Expressiveness of Coordination Models
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
On Timed Coordination Languages
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Combining Mobile Processes and Declarative Programming
CL '00 Proceedings of the First International Conference on Computational Logic
Modeling the software process using coordination rules
WET-ICE '95 Proceedings of the 4th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET-ICE'95)
PoliS: a programming model for multiple tuple spaces
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
High-level networking with mobile code and first order AND-continuations
Theory and Practice of Logic Programming
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
Fundamenta Informaticae
GHolo: a multiparadigm model oriented to development of grid systems
Future Generation Computer Systems
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Review: coordination models and languages: From parallel computing to self-organisation
The Knowledge Engineering Review
Computational logic in an object-oriented world
Reasoning, Action and Interaction in AI Theories and Systems
Rule-based coordination of logic programs
Computer Languages
Computer Languages
Parallel programming with logic languages: A survey
Computer Languages
Concurrency and backtracking in Vienna Parallel Logic
Computer Languages
A declarative coordination language
Computer Languages
LAILA: a language for coordinating abductive reasoning among logic agents
Computer Languages
Fundamenta Informaticae
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
| Hi-index | 0.02 |
Shared Prolog is a new concurrent logic language. A Shared Prolog system is composed of a set of parallel agents that are Prolog programs extended by a guard mechanism. The programmer controls the granularity of parallelism, coordinating communication and synchronization of the agents via a centralized data structure. The communication mechanism is inherited from the blackboard model of problem solving. Intuitively, the granularity of the logic processes to be elaborated in parallel is large, while the resources shared on the blackboard can be very fined grained.An operational semantics for Shared Prolog is given in terms of a distributed model. Through an abstract notion of computation, the kinds of parallelism supported by the language, as well as properties of infinite computations, such as local deadlocks, are studied.The expressiveness of the language is shown with respect to the specification of two classes of applications: metaprogramming and blackboard systems.