Paolo Ciancarini

In this paper we study the relationship between Linda programming and parallel logic programming. We define PoliSpaces (PoliS) as an extension of Linda with Multiple Tuple Spaces. PoliS is introduced as a framework for designing multiparadigm systems, i.e., systems where code written in different languages can coexist. Our first test for PoliS is logic programming. We describe syntax and semantics of PoliS Prolog, a new parallel logic language based on PoliS. A parallel semantics for PoliS Prolog is given defining a multilevel abstract machine based on a chemical interpretation of the basic logic programming execution mechanism. The multilevel abstract machine is the basis for an implementation where the key idea consists of introducing a meta tuple space as a communication kernel across different tuple spaces.

Reasearch Directions in High-Level Parallel Programming Languages, Lecture Notes in Computer Science 574, pages 110-125, 1992.
Jean Pierre Banâtre, Daniel Le Métayer (eds.), Springer Berli
Author = {Ciancarini, Paolo},
Booktitle = {Reasearch Directions in High-Level Parallel Programming Languages},
Doi = {10.1007/3-540-55160-3\_38},
Editor = {Ban{\^a}tre, Jean Pierre and Le M{\'e}tayer, Daniel},
Isbn = {978-3-540-55160-7},
Issn = {0},
Pages = {110--125},
Publisher = {Springer Berli},
Series = {LNCS},
Title = {Parallel Logic Programming using the {L}inda Model of Computation},
Url = {},
Url-Pdf = {},
Volume = 574,
Year = 1992}



Parallel Logic Programming using the Linda Model of Computation

— status


— authors

Paolo Ciancarini

— editors

Jean Pierre Banâtre, Daniel Le Métayer

URLs & IDs

original page
original PDF



— print ISSN


— print ISBN



— BibTeX ID
— BibTeX category

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY