Relating data-parallelism and (and-) parallelism in logic programs

Metcalf, 1990 Thinking Machines Corp., 1990, C∗ Programming Guide Hatcher, 1991 Thinking Machines Corp., 1986, The Essential ∗LISP Manual Voronkov, 1992, Logic programming with bounded quantifiers, 592 Nilsson, 1988, A Flat GHC implementation for supercomputers, 1337 Barklund, 1988, Nova Prolog Blanck, 1992 Kacsuk, 1990 Wise, 1986, Experimenting with epilog: Some results and preliminary conclusions, 130 Millroth, 1990, Reforming Compilation of Logic Programs Barklund, 1990, Parallel Unification Bevemyr, 1993, Exploiting recursion-parallelism in Prolog Bevemyr, 1993, Reform Prolog: the language and its implementation Conery, 1983, The And/Or Process Model for Parallel Interpretation of Logic Programs DeGroot, 1984, Restricted AND-Parallelism, 471 DeGroot, 1987, Restricted AND-Parallelism and Side-Effects, 80 Hermenegildo, 1986, An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel, 10.20868/UPM.thesis.14975 Hermenegildo, 1990, &-Prolog and its performance: exploiting independent and-parallelism, 253 Kumar, 1984, Parallel branch-and-bound formulations for and/or tree search, IEEE Transactions on Pattern Analysis and Machine Intelligence, 6, 768, 10.1109/TPAMI.1984.4767600 Lin, 1988, And-Parallel execution of logic programs on a shared-memory multiprocessor: a summary of results, 1123 Warren, 1987, The SRI model for or-parallel execution of Prolog-abstract design and implementation, 92 Lusk, 1990, The Aurora or-parallel prolog system, New Generation Computing, 7, 10.1007/BF03037208 Lusk, 1990, The Aurora or-parallel prolog system, New Generation Computing, 7 Ali, 1988, Or-parallel execution of Prolog on the BC-machine, 253 Ali, 1990, The Muse or-parallel Prolog model and its performance, 757 Gupta, 1989, Compiled and-or parallelism on shared memory multiprocessors, 332 Gupta, 1991, IDIOM: integrating dependent and-, independent and-, and or-parallelism, 152 Gupta, 1994, ACE: and/or-parallel copying-based execution of logic programs, 93 Fagin, 1987, A Parallel Execution Model for Prolog Kalé, 1987, Parallel execution of logic programs: the reduce-or process model, 616 Shen, 1992, Exploiting dependent and-parallelism in Prolog: the dynamic, dependent and-parallel scheme Warren, 1988 Santos-Costa, 1990, Andorra-I: a parallel Prolog system that transparently exploits both and- and or-parallelism Ricci, 1989, Compilation of Logic Programs for Massively Parallel Systems Karlsson, 1992, A high performance or-parallel Prolog system Carlsson, 1990, Design and implementation of an or-parallel Prolog engine Prestwich, 1994, On Parallelisation Strategies for Logic Programs, 289 Carlsson, 1988, A simplified approach to the implementation of and-parallelism in an or-parallel environment, 1565 Hermenegildo, 1995, Strict and non-strict independent and-parallelism in logic programs: correctness, efficiency, and compile-time conditions, Journal of Logic Programming, 22, 1, 10.1016/0743-1066(93)00007-F Naish, 1988, Parallelizing NU-Prolog, 1546 García de la Banda, 1993, Independence in constraint logic programs, 130 Hermenegildo, 1994, the CLIP group. Some methodological issues in the design of CIAO—a generic, parallel, concurrent constraint system, 123 Arro, 1993, Parallel bounded quantification—preliminary results, ACM SIGPLAN Notices, 28, 117, 10.1145/163114.163129 Hermenegildo, 1986, An abstract machine for restricted and-parallel execution of logic programs, 25 Santos-Costa, 1991, The Andorra-I engine: a parallel implementation of the basic Andorra model, 825 Pontelli, 1995, &ACE: a high-performance parallel Prolog system Shen, 1994, Divided we stand: parallel distributed stack memory management, 185 Pontelli, 1995, Determinacy driven optimizations of and-parallel Prolog implementations Pontelli, 1996, Improving the efficiency of nondeterministic and-parallel systems, Computer Languages, 22, 115, 10.1016/S0096-0551(96)00010-0 Millroth, 1991, Reforming compilation of logic programs, 485 Debray, 1990, Task granularity analysis in logic programs, 174 King, 1990, Granularity analysis of concurrent logic programs López García, 1994, Towards granularity based control of parallelism in logic programs, 133 López García, 1996, A methodology for granularity based control of parallelism in logic programs, Journal of Symbolic Computing, Special Issue on Parallel Symbolic Computation Zhong, 1992, Towards an efficient compile-time granularity analysis algorithm, 809 Hermenegildo, 1991, The &-Prolog system: exploiting independent and-parallelism, New Generation Computing, 9, 233, 10.1007/BF03037164 Hermenegildo, 1991, The &-Prolog system: exploiting independent and-parallelism, New Generation Computing, 9, 233, 10.1007/BF03037164 Carro, 1993, Some paradigms for visualizing parallel execution of logic programs, 184 Warren, 1987, Experimenting with Prolog: an overview Debray, 1994, A Simple program transformation for parallelism, 305