Rule-based coordination of logic programs

Authors:
Paolo Ciancarini;Mauro Gaspari
Affiliations:
Dipartimento di Scienze dell'Informazione, Università di Bologna, Via Mura Anteo Zamboni 7, 40127 Bologna, Italy;Dipartimento di Scienze dell'Informazione, Università di Bologna, Via Mura Anteo Zamboni 7, 40127 Bologna, Italy
Venue:
Computer Languages
Year:
1996

Citing 18
Cited 1

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
Blackboard system in Polka

International Journal of Parallel Programming
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
Design and distributed implementation of the parallel logic language shared Prolog

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
The concurrent language, Shared Prolog

ACM Transactions on Programming Languages and Systems (TOPLAS)
Coordination languages and their significance

Communications of the ACM
Programming by multiset transformation

Communications of the ACM
Coordinating rule-based software processes with ESP

ACM Transactions on Software Engineering and Methodology (TOSEM)
ActorSpace: an open distributed programming paradigm

PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Multi-Prolog: Definition, operational semantics and implementation

ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Distributed programming with logic tuple spaces

New Generation Computing
Blackboard-based extensions in Prolog

Software—Practice & Experience
Comparing Two Parallel Logic-Programming Architectures

IEEE Software
The specification of process synchronization by path expressions

Operating Systems, Proceedings of an International Symposium
A Foundation for Higher-order Concurrent Constraint Programming

CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
PoliS: a programming model for multiple tuple spaces

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Oz: a programming language for multi-agent systems

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A proposal to merge Multiple Tuple Spaces, Object Orientation, and Logic Programming

Computer Languages

Engineering formal requirements: An analysis and testing method for Z documents

Annals of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Shared Prolog (SP) is a parallel symbolic language in which coordination issues are clearly separated from computation issues. SP combines concurrency and communication based on a shared dataspace coordination model with sequential symbolic computation based on logic programming. We demonstrate how a rule-based coordination language can be used for expressing a number of different parallel computing schemata, reusing and reorganizing existing sequential programs.