Parallel Logic Programming using the Linda Model of Computation


Paolo Ciancarini

Research Directions in High-Level Parallel Programming Languages, pp. 110-125
Lecture Notes in Computer Science 574,  1992
Springer Berli
Jean Pierre Banâtre, Daniel Le Métayer (a cura di)

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.

 @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:

Pubblicazione

— autori/autrici

Paolo Ciancarini

— a cura di

Jean Pierre Banâtre, Daniel Le Métayer

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Research Directions in High-Level Parallel Programming Languages

— collana

Lecture Notes in Computer Science

— volume

574

— pagine

110-125

— data di pubblicazione

1992

URL

pagina originale  |  PDF originale

Identificatori

— 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-2022 APICe@DISI Research Group - PRIVACY