Experimenting with EPILOG: some results and preliminary conclusions
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
The Aurora or-parallel Prolog system
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
Prolog and its performance: exploiting independent and-parallelism
Logic programming
Task granularity analysis in logic programs
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Data-parallel programming on MIMD computers
Data-parallel programming on MIMD computers
The Muse Or-parallel Prolog model and its performance
Proceedings of the 1990 North American conference on Logic programming
Parallel bounded quantification—preliminary results
ACM SIGPLAN Notices
Some paradigms for visualizing parallel execution of logic programs
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Reform Prolog: the language and its implementation
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Independence in constraint logic programs
ILPS '93 Proceedings of the 1993 international symposium on Logic programming
ACE: and/or-parallel copying-based execution of logic programs
Proceedings of the eleventh international conference on Logic programming
A simple program transformation for parallelism
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs
Proceedings of the Third International Conference on Logic Programming
&ACE: a high-performance parallel Prolog system
IPPS '95 Proceedings of the 9th International Symposium on Parallel Processing
Logic Programming with Bounded Quantifiers
Proceedings of the First Russian Conference on Logic Programming
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Exploiting Recursion-Parallelism in Prolog
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
On Logic Program Parallelisation Strategies
CONPAR 94 - VAPP VI Proceedings of the Third Joint International Conference on Vector and Parallel Processing: Parallel Processing
Parallel Branch-and-Bound Formulations for AND/OR Tree Search
IEEE Transactions on Pattern Analysis and Machine Intelligence
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Determinacy analysis for logic programs using mode and type information
LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation
Hi-index | 0.00 |
Much work has been done in the areas of and-parallelism and data-parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types of parallelism offer advantages and disadvantages. Traditional (and-) parallel models offer generality, being able to exploit parallelism in a large class of programs (including that exploited by data-parallelism techniques). Data-parallelism techniques on the other hand offer increased performance for a restricted class of programs. The thesis of this paper is that these two forms of parallelism are not fundamentally different and that relating them opens the possibility of obtaining the advantages of both within the same system. Some relevant issues are discussed and solutions proposed. The discussion is illustrated through visualizations of actual parallel executions implementing the ideas proposed.