Design and distributed implementation of the parallel logic language shared Prolog

Authors:
V. Ambriola;P. Ciancarini;M. Danelutto
Affiliations:
Dipartimento di Informatica - Università di Pisa and Dipartimento di Matematica e Informatica - Università di Udine, Italy;Dipartimento di Informatica - Università di Pisa;Dipartimento di Informatica - Università di Pisa
Venue:
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Year:
1990

Citing 9
Cited 3

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
PARLOG: parallel programming in logic

ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Parallel logic programming languages

Proceedings on Third international conference on logic programming
Guarded horn clauses

Proceedings of the 4th conference on Logic programming '85
Concurrent prolog: collected papers

Concurrent prolog: collected papers
Linda in context

Communications of the ACM
Blackboard programming in shared Prolog

Selected papers of the second workshop on Languages and compilers for parallel computing
Comparing Two Parallel Logic-Programming Architectures

IEEE Software
Multiple Tuple Spaces in Linda

PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages

Software process enactment in Oikos

SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A distributed virtual machine to support software process

ACM SIGSOFT Software Engineering Notes
Rule-based coordination of logic programs

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

The parallel logic language Shared Prolog embeds Prolog as its sequential component. A program is Shared Prolog is composed of a set of logic agents, i.e. Prolog programs, that communicate associatively via a shared workspace called blackboard.The distinct features that characterize Shared Prolog with respect to other parallel (logic) languages are: scheduling of agents and granularity of parallelism explicitly controlled; Prolog embedded in the language; intrinsic modularity; associative send/receive of messages among agents with a simple operational semantics in terms of assert/retract of clauses. The model of communication puts Shared Prolog in the Linda family of parallel languages.The current prototype implementation is exposed. The architecture of the system is a distributed network of extended Prolog interpreters running under Unix and communicating via Internet sockets, and was obtained refining a specification written in SP itself.