Towards independent and-parallelism in CLP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1140, Issue , 1996, Pages 77-91

  de la Banda, María García ^a   Bueno, Francisco ^b   Hermenegildo, Manuel ^b  

^a MONASH UNIVERSITY   (Australia)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CLP PROGRAMS; INDEPENDENT AND PARALLELISMS; PARALLELIZING COMPILER; STANDARD ANALYSIS;

COMPUTATIONAL LINGUISTICS;

EID: 84957652812     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61756-6_78     Document Type: Conference Paper

References (18)

1. F. Bueno, M. García de la Banda, and M. Hermenegildo. A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. In Parallel Symbolic Computation, pages 63-73. World Scientific Publishing, 1994.
2. F. Bueno, M. García de la Banda, and M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. In International Logic Programming Symposium, pages 320-336. MIT Press, 1994.
3. A. Cortesi, G. File, and W. Winsborough. Prop Revisited: Prepositional Formulas as Abstract Domains for Groundness Analysis. In Sixth IEEE Symposium on Logic in Computer Science, pages 222-327, 1991. IEEE Computer Society.
4. P. Cousot and R. Cousot. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In ACM Symposium on Principles of Programming Languages, pages 238-252, 1977.
5. M. García de la Banda and M. Hermenegildo. A Practical Approach to the Global Analysis of Constraint Logic Programs. In International Logic Programming Symposium, pages 437-455. MIT Press, 1993.
6. M. García de la Banda, M. Hermenegildo, and K. Marriott. Independence in Constraint Logic Programs. In ILPS'93, pages 130-146. MIT Press, 1993.
7. V. Dumortier, G. Janssens, M. Bruynooghe, and M. Codish. Freeness Analysis in the Presence of Numerical Constraints. In Tenth International Conference on Logic Programming, pages 100-115. MIT Press, 1993.
8. M.J. Fernández, M. Carro, and M. Hermenegildo. Idra (ideal resource allocation): Computing ideal speedups in parallel logic programming. In Proceedings of Eu- roPar'96, LNCS. Springer-Verlag, 1996.
9. P. Van Hentenryck. Parallel Constraint Satisfaction in Logic Programming. In International Conference on Logic Programming, pages 165-180. MIT Press, 1989.
10. M. Hermenegildo, F. Bueno, M. García de la Banda, and G. Puebla. The CIAO Multi-Dialect Compiler and System. In Proc. of the ILPS'95 Workshop on Visions for the Future of Logic Programming, 1995.
11. M. Hern, aegildo and K. Greene. The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing, 9(3,4):233-257, 1991.
12. C. Holzbaur. Metastructures vs. Attributed Variables in the Context of Extensible Unification. In International Symposium on Programming Language Implementation and Logic Programming, pages 260-268. LNCS631, Springer Verlag, 1992.
13. J. Jaffar and M.J. Maher. Constraint Logic Programming: A Survey. Journal of Logic Programming, 13/20:503-581, 1994.
14. S. Janson and S. Haridi. Programming Paradigms of the Andorra Kernel Language. In Int Logic Programming Symp., pages 167-183. MIT Press, 1991.
15. K. Marriott and P. Stuckey. Approximating Interaction Between Linear Arithmetic Constraints. In Int'l Logic Prog. Symp., pages 571-585. MIT Press, 1994.
16. K. Muthukumar and M. Hermenegildo. Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming, 13(2 and 3): 315-347, 1992.
17. V. Santos-Costa, D.H.D. Warren, and R. Yang. Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-parallelism. In ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming. ACM, 1990.
18. K. Shen. Exploiting Dependent And-Parallelism in Prolog: The Dynamic, Dependent And-Parallel Scheme. In Joint Int'l. Conference and Symposium on Logic Programming MIT Press, 1992.