Abstract
This paper discusses coordination in the context of logic programming. After a short introduction to logic programming, the discussion of the coordination model Linda versus concurrent logic processing is reviewed. We then describe the coordination of logic programms with the coordination language Alice.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Jean-Marc Andreoli and Remo Pareschi. Linear Objects: Logical Processes with Built-in Inheritance. New Generation Computing, 9(3–4):445–473, 1991.
Nicholas Carriero and David Gelernter. Linda in Context. Communications of the ACM, 32(4):444–458, 1989.
Paolo Ciancarini. Coordinating Rule-Based Software Processes with ESP. Technical Report UBLCS-93–8, University of Bologna, 1993.
Paolo Ciancarini, Keld K. Jensen, and Dani Yankelevich. The Semantics of a Parallel Language based on a Shared Dataspace. Technical Report TR 26/92, University of Pisa, 1992.
Technical Correspondence. Linda in Context. Communications of the ACM, 32(10):1244–1258, 1989.
David Gelernter and Nicholas Carriero. Coordination Languages and their Significance. Communications of the ACM, 35(2):97–107, 1992.
Ehud Shapiro. The Family of Concurrent Logic Programming Languages. ACM Computing Surveys, 21(3):412–510, 1989.
Leon Sterling and Ehud Shapiro. The Art of Prolog. The MIT Press, 1986.
Robert Tolksdorf. HDM described from ODP viewpoints. Technical Report 1992/9, Technische Universität Berlin, Fachbereich 20 Informatik, 1992.
Robert Tolksdorf. Alice — Basic Model and Subtyping Agents. Technical Report 1993/7, Technische Universität Berlin, Fachbereich 20 Informatik, 1993.
Robert Tolksdorf. Laura: A Coordination Language for Open Distributed Systems. In Proceedings of the 13th IEEE International Conference on Distributed Computing Systems ICDCS 93, 1993. To appear
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mahr, B., Tolksdorf, R. (1993). Coordination and Logic Programming. In: Reichel, H. (eds) Informatik — Wirtschaft — Gesellschaft. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-78486-6_97
Download citation
DOI: https://doi.org/10.1007/978-3-642-78486-6_97
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57192-6
Online ISBN: 978-3-642-78486-6
eBook Packages: Springer Book Archive