Parallel logic programming techniques

The IMPACT project was initiated by the ING bank and is a funded and supported by the HPCN foundation. part of this series may be reproduced in any form or by any means without prior written permission of the publisher. of Technology. All rights reserved. No part of this series may be reproduced in any form or by any means without prior written permission of the publisher. IMPACT i Preface This report describes research done in the context of a subproject of the HPCN project IMPACT. The IMPACT project is headed by the ING bank and is founded by the organization for High Performance Computing and Networking (HPCN). The aim of the speciic subproject, in the context of which this report has been written, is to develop (techniques for) natural language interfaces to information resources, focusing on the use of high-performance computers to achieve acceptable response times. This report is part of the \Parallel Parsing I" research topic.

[1]  Hassan Aït-Kaci.  Warren's Abstract Machine , 1991, ICLP.

[2]  Laxmikant V. Kalé,et al.  The Reduce-Or Process Model for Parallel Execution of Logic Programs , 1991, J. Log. Program..

[3]  Jean-Marie Jacquet,et al.  Introduction to Logic Programming , 1993, ICLP Workshop on Construction of Logic Programs.

[4]  Gary Lindstrom,et al.  A Performance-Oriented Design for OR-Parallel Logic Programming , 1987, ICLP.

[5]  Rong Yang,et al.  Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism , 1991, PPOPP '91.

[6]  Manuel V. Hermenegildo,et al.  The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism , 1990, ICLP.

[7]  André Véron,et al.  Virtual memory support for OR-parallel logic programming systems , 1991 .

[8]  Doug DeGroot,et al.  Restricted AND-Parallelism , 1984, FGCS.

[9]  Ken Satoh,et al.  KABU-WAKE: A New Parallel Inference Method and Its Evaluation , 1986, COMPCON.

[10]  Ehud Shapiro,et al.  Or-Parallel Prolog in Flat Concurrent Prolog , 1988, J. Log. Program..

[11]  Khayri A. M. Ali,et al.  The Muse Or-Parallel Prolog Model and its Performance , 1990, NACLP.

[12]  Doug DeGroot,et al.  AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis , 1985, COMPCON.

[13]  Dean Jacobs,et al.  Accurate and Efficient Approximation of Variable Aliasing in Logic Programs , 1989, NACLP.

[14]  Steve Gregory,et al.  Parallel logic programming in PARLOG - the language and its implementation , 1987 .

[15]  Michael J. Wise.  Prolog multiprocessors , 1986 .

[16]  David H. D. Warren,et al.  The SRI Model for Or-Parallel Execution of Prolog: Abstract Design and Implementation Issues , 1987, SLP.

[17]  Manuel V. Hermenegildo,et al.  &-Prolog and its Performance: Exploiting Independent And-Parallelism , 1990, ICLP.

[18]  Dennis F. Kibler,et al.  AND Parallelism in Logic Programs , 1983, IJCAI.

[19]  Seif Haridi,et al.  A Formal Model for Or-Parallel Execution of Logic Programs , 1983, IFIP Congress.

[20]  Dharma P. Agrawal,et al.  A Randomized Parallel Backtracking Algorithm , 1988, IEEE Trans. Computers.

[21]  David H. D. Warren,et al.  Or-Parallel Execution Models of Prolog , 1987, TAPSOFT, Vol.2.

[22]  Peter Borgwardt.  Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors , 1984, SLP.

[23]  Vipin Kumar,et al.  AND-Parallel Execution of Logic Programs on a Shared-Memory Multiprocessor , 1988, J. Log. Program..

[24]  Andrzej Ciepielewski,et al.  Performance Evaluation of a Storage Model for OR--Parallel Execution of Logic Programs , 1986, SLP.

[25]  Manuel V. Hermenegildo,et al.  An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs , 1986, ICLP.

[26]  Ewing L. Lusk,et al.  Experiments with OR-Parallel Logic Programs , 1987, ICLP.

[27]  Kam-Hoi Cheng.  A Simultaneous Access Queue , 1990, J. Parallel Distributed Comput..

[28]  Naoyuki Tamura,et al.  Implementing Parallel Prolog on a Multiprocessor Machine , 1984, International Conference on Spoken Language Processing.

[29]  Dan I. Moldovan,et al.  Detection of and Parallelism in Logic Programming , 1986, ICPP.

[30]  Khayri A. M. Ali.  OR-Parallel Execution of Prolog on BC-Machine , 1988, ICLP/SLP.

[31]  Gary Lindstrom,et al.  Or-Parallelism on Applicative Architectures , 1984, International Conference on Logic Programming.

[32]  Jacques Chassin de Kergommeaux,et al.  An Abstract Machine to Implement OR-AND Parallel Prolog Efficiently , 1990, J. Log. Program..

[33]  Jack Minker,et al.  PRISM: a testbed for parallel control , 1990 .

[34]  Patrick Cousot,et al.  Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[35]  Doug DeGroot.  Restricted and parallel execution of logic programs , 1988 .

[36]  Robert M. Keller,et al.  Simulated Performance of a Reduction-Based Multiprocessor , 1984, Computer.

[37]  Philippe Robert,et al.  The PEPSys Model: Combining Backtracking, AND- and OR-Parallelism , 1987, SLP.

[38]  Seif Haridi,et al.  OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors , 1987, SLP.