Contribution to Semantics of a Data-Parallel Logic Programming Language (1995)
| Venue: | Post International Logic Programming Symposium Workshop on Parallel Logic Programming Systems |
| Citations: | 4 - 4 self |
BibTeX
@INPROCEEDINGS{Lallouet95contributionto,
author = {Arnaud Lallouet and Yann Le Guyadec},
title = {Contribution to Semantics of a Data-Parallel Logic Programming Language},
booktitle = {Post International Logic Programming Symposium Workshop on Parallel Logic Programming Systems},
year = {1995},
pages = {32--41}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. We propose an alternate approach to the usual introduction of parallelism in logic programming. Instead of detecting the intrinsic parallelism by an automatic and complex data-flow analysis, or upgrading standard logic languages by explicit concurrent control structures leading to task-oriented languages, we tightly integrate the concepts of the data-parallel programming model and of logic programming in a kernel language, called DP-Log. It offers a simple centralized and synchronous vision to the programmer. We give this language a declarative and a distributed asynchronous operational semantics. The equivalence theorem of these semantics establishes the soundness of the implementation. The expressiveness of the language is illustrated on examples. Keywords : Logic programming --- Data-parallel languages --- Design of programming languages --- Semantics --- MIMD architectures Introduction The introduction of parallelism in programming languages enables to extend the expressiveness ...
