PROLOG-LINDA : AN EMBEDDING OF LINDA IN muPROLOG
Geoff Sutcliffe, James Pinakis · 2006
This paper presents an embedding of the Linda parallel programming paradigm in Prolog. A mono-processor and a multi-processor implementation are described. Both implementations provide coarse grain parallelism to Prolog. The embedding of Linda in Prolog extends Linda's standard tuple space operations, permitting unification and Prolog style deduction in the tuple space. Examples of the added capabilities introduced by a deductive tuple space, as well as example applications of Prolog-Linda as a whole, are given. 1 Introduction The Linda programming paradigm#[1] developed by David Gelernter has recently attracted much interest as a method of enabling communication between, and synchronization of, parallel processes. A recent paper#[2] compared this paradigm with other approaches to parallelism, specifically with the concurrent logic programming language Parlog86#[3]. Subsequent discussion#[4] compared Linda with the FCP family of languages#[5]. In Gelernter's reply to this discussion, h...