Paper Info
Title
Parallel logic programming for numeric applications
Abstract
In this paper we report on a series of experiments involving the use of various dialects of parallel logic programming to express and control parallelism. The central goal of these experiments was to explore the possibility of writing numeric code for multiprocessors while expressing the synchronization requirements using logic programming. We considered three dialects of parallel logic programming: Parlog, Delta-Prolog, and Flat Concurrent Prolog. The experiments involved the formulation of a well-known, highly-parallel algorithm in each of the three languages. In one case (Parlog, semi-manually compiled code for an implementation of an extended Warren Abstract Machine), we were also able to compare the performance of the resulting program with that of the same problem expressed in C, with monitors as the added parallelism construct. We present speedups obtained for the C and Parlog versions. The experiments illustrate the effect of granularity size on attainable degrees of parallelism. Based on the limited evidence from these experiments, we offer some conclusions on the suitability of logic programming languages for programming multiprocessors.
Year
DOI
Venue
1986
10.1007/3-540-16492-8_88
ICLP
Keywords
Field
DocType
parallel logic programming,numeric application,numeric applications,parallel processing,data flow,parallel algorithm,programming,synchronization
Functional logic programming,Fifth-generation programming language,Programming language,Programming paradigm,Computer science,Inductive programming,Algorithm,Theoretical computer science,Prolog,Declarative programming,Logic programming,Parlog
Conference
Volume
ISSN
ISBN
225
0302-9743
0-387-16492-8
Citations 
PageRank 
References 
5
0.91
5
Authors
4
Name
Order
Citations
PageRank
Ralph Butler181.75
Ewing L. Lusk23080472.23
William McCune315045.05
Ross Overbeek46213.28