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

Active Bibliography

81 Global Analysis of Constraint Logic Programs – Maria Garcia de la Banda, M. Hermenegildo, Maurice Bruynooghe, V. Dumortier, Gerda Janssens, W. Simoens - 1996
8 The Compilation and Execution of Recursion-Parallel Prolog on Shared Memory Multiprocessors – Thomas Lindgren - 1993
Analysis and Transformation of Logic Programs – Kjell Erik Post - 1994
10 Parallel Programming with Logic Languages: a Survey – Paolo Ciancarini - 1992
28 Parallel Logic Programming Systems – Jacques Chassin, De Kergommeaux, Philippe Codognet - 1994
7 Automated Verification Of Prolog Programs – Baudouin Le Charlier, Christophe Leclere, Sabina Rossi, Agostino Cortesi - 1994
EL PRESIDENTE LOS VOCALES – Análisis Y Verificación De, Programas Modulares, Jesús Correas Fernández, Licenciado En Informática, Facultad De Informática, Candidato Jesús Correas, Licenciado En Informática, Germán Puebla, Licenciado En Informática, El Secretario, A Beatriz Agradecimientos
A Domain-Independent Framework for the Analysis of the CCP Language AKL (Extended Abstract) – Per Brand, Thomas Sjöland
8 The Design And Implementation Of Massively Parallel Knowledge Representation And Reasoning Systems: A Connectionist Approach – D. R. Mani - 1996
1 Implementing Concurrent Logic and Functional Languages in Dactl – George A. Papadopoulos - 1997
J. LOGIC PROGRAMMING 1996:27:1–199 1 COMPILING CONSTRAINTS IN clp(FD) – Philippe Codognet, Daniel Diaz
147 Compiling Constraints in clp(FD) – Philippe Codognet, Daniel Diaz - 1996
49 1983--1993: The Wonder Years of Sequential Prolog Implementation – Peter Van Roy - 1993
771 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
12 Polymorphic Type Analysis in Logic Programs by Abstract Interpretation – Lunjin Lu - 1998
2 Typing Constraint Logic Programs – Francois Fages, Emmanuel Coquery
7 Sequence-Based Abstract Interpretation of Prolog – Baudouin Le Charlier, Sabina Rossi, Pascal, Van Hentenryck - 1997
5 Meta-Circular Abstract Interpretation in Prolog – Michael Codish, Harald Søndergaard
Parallel Execution of Prolog on Multiprocessor Architectures - Design of the Andorra-I System – Rong Yang, Inês Dutra, Vítor Santos Costa, V'itor Santos Costa - 1991