Parallelism in Logic Programming and Scheduling Issues

This text summarises the main research work being carried out on the implementation of parallel logic programming systems. It concentrates on describing techniques for exploiting AND-parallelism and OR-parallelism while showing important aspects of some systems on shared-memory, distributed-memory and distributed-shared memory architectures. It also presents some important point ers to journals, conferences and sites with related information.

[1]  Dr. Pierre Deransart,et al.  Prolog: The Standard , 1996, Springer Berlin Heidelberg.

[2]  Abdul Sattar,et al.  Parallel logic programming on distributed shared memory system , 1997, 1997 IEEE International Conference on Intelligent Processing Systems (Cat. No.97TH8335).

[3]  Enrico Pontelli,et al.  &ACE: a high-performance parallel Prolog system , 1995, IPPS.

[4]  Paolo Ciancarini,et al.  Parallel Programming with Logic Languages: A Survey , 1992, Comput. Lang..

[5]  J. Nielsen.  International Conference on Fifth Generation computer systems 1988 , 1989, SGCH.

[6]  Krzysztof R. Apt,et al.  From logic programming to Prolog , 1996, Prentice Hall International series in computer science.

[7]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[8]  Johan Montelius,et al.  Using SimICS to Evaluate the Penny System , 1997, ILPS.

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

[10]  Ricardo Bianchini,et al.  Optimising Parallel Logic Programming Systems for Scalable Machines , 1998, Euro-Par.

[11]  Luís Moniz Pereira,et al.  Delta Prolog: A Distributed Backtracking Extension with Events , 1986, ICLP.

[12]  Takashi Chikayama,et al.  An Abstract KL1 Machine and Its Instruction Set , 1987, SLP.

[13]  Mats Carlsson,et al.  SICStus Prolog User''s Manual , 1993 .

[14]  Dingxing Wang,et al.  Intelligent Scheduling AND- and OR-Parallelism in the Parallel Logic Programming System RAP/LOP-PIM , 1991, ICPP.

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

[16]  Kazunori Ueda,et al.  A New Implementation Technique for Flat GHC , 1990, ICLP.

[17]  Inês de Castro Dutra,et al.  A Flexible Scheduler for the Andorra-I System , 1991, ICLP Workshop on Parallel Execution of Logic Programs.

[18]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[19]  Cristiano Andre da Costa.  Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica , 1998 .

[20]  Gopal Gupta,et al.  And-Or Parallelism in Full Prolog with Paged Binding Arrays , 1992, PARLE.

[21]  Jordi Tubella,et al.  The Multipath Parallel Execution Model for Prolog , 1994 .

[22]  Ewing L. Lusk,et al.  A Graphical Tool for Observing the Behavior of Parallel Logic Programs , 1987, SLP.

[23]  Peter Van Roy,et al.  Can Logic Programming Execute as Fast as Imperative Programming? , 1990 .

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

[25]  Enrico Pontelli,et al.  Stack splitting A Simple Technique for Implementing Or parallelism and And parallelism on Distributed Machines , 2003 .

[26]  Inẽs de Castro Dutra,et al.  Strategies for scheduling and- and or- work in parallel logic programming systems , 1994, ICLP 1994.

[27]  Johan Montelius.  Penny, a Parallel Implementation of AKL , 1994, Workshop on Design and Impl. of Parallel Logic Programming Systems.

[28]  Manuel Eduardo Correia,et al.  DAOS - Scalable And-Or Parallelism , 1999, Euro-Par.

[29]  Khayri A. M. Ali,et al.  Performance of Muse on the BBN Butterfly TC2000 , 1991, PARLE.

[30]  Donald A. Smith.  MultiLog: Data Or-Parallel Logic Programming , 1993, ICLP.

[31]  Seif Haridi,et al.  Programming Paradigms of the Andorra Kernel Language , 1991, ISLP.

[32]  Saumya K. Debray,et al.  Proceedings of the 1990 North American conference on Logic programming , 1990 .

[33]  Kish Shen,et al.  Overview of Daswam: Exploitation of Dependent and-Parallelism , 1996, J. Log. Program..

[34]  Rong Yang.  P-Prolog - A Parallel Logic Programming Language , 1988, World Scientific Series in Computer Science.

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

[36]  Saumya K. Debray,et al.  Cost analysis of logic programs , 1993, TOPL.

[37]  Bart Demoen,et al.  A Parallel Implementation for AKL , 1993, PLILP.

[38]  Inês de Castro Dutra,et al.  Distributing AND-work and OR-work in parallel logic programming systems , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[39]  Paul Tarau,et al.  Blackboard‐based extensions in Prolog , 1996, Softw. Pract. Exp..

[40]  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.

[41]  Philippe Robert,et al.  The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results , 1988, FGCS.

[42]  Ivan Futó.  Prolog with Communicating Processes: From T-Prolog to CSR-Prolog , 1993, ICLP.

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

[44]  Håkan Millroth,et al.  Reform Prolog: The Language and Its Implementation , 1993, ICLP.

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

[46]  Nuno A. Fonseca,et al.  VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs , 1998, IJCSLP.

[47]  Robert A. Kowalski,et al.  Predicate Logic as Programming Language , 1974, IFIP Congress.

[48]  Raéd Yousef Sindaha.  Branch-Level Scheduling in Aurora: The Dharma Scheduler , 1993, ILPS.

[49]  Ricardo Bianchini,et al.  Parallel Logic Programming Systems on Scalable Architectures , 2000, J. Parallel Distributed Comput..

[50]  Enrico Pontelli,et al.  Visualization of And/Or-Parallel Execution of Logic Programs , 1997, ICLP.

[51]  Rong Yang,et al.  Performance of the Compiler-Based Andorra-I System , 1993, ICLP.

[52]  R. Sarnath,et al.  Proceedings of the International Conference on Parallel Processing , 1992 .

[53]  Hassan Aït-Kaci,et al.  Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .

[54]  Rong Yang,et al.  The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model , 1991, ICLP.

[55]  Seif Haridi,et al.  Kernel Andorra Prolog and its Computation Model , 1990, ICLP.

[56]  Yuji Matsumoto,et al.  Guarded Horn Clauses and Experience with Parallel Logic Programming , 1986, FJCC.

[57]  Paolo Ciancarini,et al.  Blackboard programming in shared Prolog , 1990 .

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

[59]  Lee Naish.  Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997 , 1997, ICLP.

[60]  Jorge Luis Victoria Barbosa.  Granlog : um modelo para analise automatica de granulosidade na programacao em logica , 1996 .

[61]  Doug DeGroot.  A Technique for Compiling Execution Graph Expressions for Restricted And-Parallelism in Logic Programs , 1988, J. Parallel Distributed Comput..

[62]  Wai-Keong Foong.  Or-Parallel Prolog with Heuristic Task Distribution , 1991, RCLP.

[63]  Jim A. Crammond.  A comparative study of unification algorithms for OR-parallel execution of logic languages , 1985, IEEE Transactions on Computers.

[64]  Vítor Santos Costa.  COWL: Copy-On-Write for logic programs , 1999, Proceedings 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing. IPPS/SPDP 1999.

[65]  W. F. Clocksin,et al.  Principles of the DelPhi Parallel Inference Machine , 1987, Comput. J..

[66]  Pierre Deransart,et al.  Prolog - the standard: reference manual , 1996 .

[67]  Gopal Gupta,et al.  On Criteria for Or-Parallel Execution Models of Logic Programs , 1990, NACLP.

[68]  Ricardo Rocha,et al.  YapOr: an Or-Parallel Prolog System Based on Environment Copying , 1999, EPIA.

[69]  Vanusa Menditi Calegario,et al.  Performance Evaluation of Or-Parallel Logic Programming Systems on Distributed Shared-Memory Architectures , 1999, Euro-Par.

[70]  Jacques Cohen,et al.  A view of the origins and development of Prolog , 1988, CACM.

[71]  Stephen Taylor,et al.  Parallel logic programming techniques , 1989 .

[72]  Ehud Shapiro,et al.  Concurrent PROLOG: Collected Papers , 1987 .

[73]  Patricia Kayser Vargas.  Exploração de paralelismo ou em uma linguagem em lógica com restrições , 1998 .

[74]  Rong Yang,et al.  The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model , 1991, ICLP.

[75]  Veljko M. Milutinovic,et al.  Distributed shared memory: concepts and systems , 1997, IEEE Parallel Distributed Technol. Syst. Appl..

[76]  Enrico Pontelli,et al.  ACE: And/Or-parallel Copying-based Execution of Logic Programs , 1994, ICLP.

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

[78]  Jacques Chassin de Kergommeaux,et al.  Parallel logic programming systems , 1994, CSUR.