Parallel Execution of Prolog Programs: A Survey

by Gopal Gupta , Enrico Pontelli , Khayri A. M. Ali , Mats Carlsson , Manuel V. Hermenegildo
Citations:61 - 24 self

Documents Related by Co-Citation

61 A Methodology for Granularity Based Control of Parallelism in Logic Programs – Garc'ia M. Hermenegildo, S. K. Debray - 1996
17 Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming – Manuel Hermenegildo - 1997
72 The &-Prolog System: Exploiting Independent And-Parallelism – M Hermenegildo, K Greene - 1991
28 Automatic Compile-time Parallelization of Logic Programs for Restricted, Goal-level, Independent And-parallelism – K MUTHUKUMAR, F BUENO, DE LA BANDA, M G, M HERMENEGILDO - 1999
64 Strict And Non-Strict Independent And-Parallelism In Logic Programs: Correctness, Efficiency, And Compile-Time Conditions – Manuel V. Hermenegildo, Francesca Rossi - 1993
43 ACE: A High-Performance Parallel Prolog System for Parallel Symbolic Computing – Enrico Pontelli, Gopal Gupta, Manuel Hermenegildo
30 Distributed Concurrent Constraint Execution in the CIAO System – Daniel Cabeza, Manuel Hermenegildo - 1995
12 Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs – Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo - 2007
101 The Muse Or-Parallel Prolog Model and its Performance – K A M ALI, R KARLSSON - 1990
23 Overview of DASWAM: Exploitation of Dependent And-parallelism – K Shen - 1996
118 Non-Failure Analysis for Logic Programs – Saumya Debray, Pedro López-García, Manuel Hermenegildo - 1997
20 A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems – Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo - 2006
118 Compile-time Derivation of Variable Dependency Using Abstract Interpretation – K. Muthukumar, M. Hermenegildo - 1992
1878 Abstract Interpretation: a Unified Lattice Model for Static – P Cousot, R Cousot
51 An abstract machine for restricted AND-parallel execution of logic programs – M V Hermenegildo - 1986
491 An Abstract Prolog Instruction Set – D H D Warren - 1983
28 Parallel Logic Programming Systems – Jacques Chassin, De Kergommeaux, Philippe Codognet - 1994
28 et al. The Aurora Or-Parallel Prolog System – E Lusk - 1990
8 A Multiparadigm Programming Language – AKL - 1994