Annotations for distributed programming in logic

Authors:
Raghu Ramakrishnan;Abraham Silberschatz
Affiliations:
-;-
Venue:
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Year:
1986

Citing 3
Cited 1

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)
A relational language for parallel programming

FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture

The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

It has been recognised that languages like Concurrent Prolog and Parlog which use committed choice non-determinism have departed from the original concept of logic programming, but no new paradigm has been suggested. In this paper we propose that programs in such languages be viewed as rewrite rules that hierarchically decompose a process into a network of distributed processes. Logical variables and unification provide a powerful means of communication, and annotations can provide a synchronization mechanism that complements them.