Parallel Logic Programming using the Linda Model of Computation


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.

Research 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.

@incollection{lindalp-lncs574,
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 = {http://www.springerlink.com/content/y731227538m87455/},
Url-Pdf = {http://www.springerlink.com/content/y731227538m87455/fulltext.pdf},
Volume = 574,
Year = 1992}
Tags:

Publication

— authors

Paolo Ciancarini

— editors

Jean Pierre Banâtre, Daniel Le Métayer

— status

published

— sort

paper in proceedings

Venue

— volume

Research Directions in High-Level Parallel Programming Languages

— series

Lecture Notes in Computer Science

— volume

574

— pages

110-125

— publication date

1992

URLs

original page  |  original PDF

Identifiers

— DOI

10.1007/3-540-55160-3_38

— print ISSN

0

— print ISBN

978-3-540-55160-7

BibTeX

— BibTeX ID
lindalp-lncs574
— BibTeX category
incollection

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