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

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}