11. ICLP 1994, Workshop W6: Parallel and Data Parallel Execution of Logic Programs

Jonas Barklund, Bharat Jayaraman, Jiro Tanaka (Eds.): Parallel and Data Parallel Execution of Logic Programs, Proceedings of the Post-ICLP'94 Workshop W6. UPMAIL Technical Report No. 78, Uppsala University, Computing Science Departent, June 1994

Cover Page, Preface, and Table of Contents: Postscript

• Olivier Michel, Jean-Louis Giavitto:
  Design and Implementation of a Declarative Data-Parallel Language. 1-10
  Electronic Edition (link) BibTeX
• Arvind K. Bansal:
  Towards a Formal Computation Model of Associative Logic Programming. 11-20
  Electronic Edition (link) BibTeX
• Giancarlo Succi, Giuseppe Marino, Giancarlo Colla:
  Modelling the Connection Machine 2 as an Emulator of Subset-Based Declarative Languages. 21-32
  Electronic Edition (link) BibTeX
• Donald A. Smith:
  Modeling Backtracking, Disjunctive Constraints, and Control/Data Or-Parallelism. 33-47
  Electronic Edition (link) BibTeX
• Manuel V. Hermenegildo, Manuel Carro:
  A Note on Data-Parallelism and (And-Parallel) Prolog. 49-64
  Electronic Edition (link) BibTeX
• Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo:
  &ACE: the And-parallel Component of ACE (A Progress Report on ACE). 65-78
  Electronic Edition (link) BibTeX
• Bart Demoen, Greet Maris:
  A Comparison of Some Schemes for Translating Logic to C. 79-91
  Electronic Edition (link) BibTeX
• Tang Dong Xing, Enrico Pontelli, Gopal Gupta, Manuel Carro:
  Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. 93-106
  Electronic Edition (link) BibTeX
• M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo:
  IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. 107-122
  Electronic Edition (link) BibTeX