Some results on the complexity of exploiting data dependency in parallel logic programs
Journal of Logic Programming
Solving large combinatorial problems in logic programming
Journal of Logic Programming - Logic programming applications
The Aurora or-parallel Prolog system
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
The reduce-or process model for parallel execution of logic programs
Journal of Logic Programming
Full Prolog and scheduling or-parallelism in muse
International Journal of Parallel Programming
A methodology for detecting shared variable dependencies in logic programs
Journal of Symbolic Computation
Static analysis of logic programs for independent and parallelism
Journal of Logic Programming
Compile-time derivation of variable dependency using abstract interpretation
Journal of Logic Programming
The logic of constraint satisfaction
Artificial Intelligence - Special volume on constraint-based reasoning
Constraint satisfaction using constraint logic programming
Artificial Intelligence - Special volume on constraint-based reasoning
Learning to improve constraint-based scheduling
Artificial Intelligence - Special volume on constraint-based reasoning
Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
Parallel execution of logic programs on shared memory multiprocessors
Parallel execution of logic programs on shared memory multiprocessors
Machines and models for parallel computing
International Journal of Parallel Programming
Logic, Programming and PROLOG
&ACE: a high-performance parallel Prolog system
IPPS '95 Proceedings of the 9th International Symposium on Parallel Processing
A Genetic Approach to Computing Independent AND Parallelism in Logic Programs
IWANN '97 Proceedings of the International Work-Conference on Artificial and Natural Neural Networks: Biological and Artificial Computation: From Neuroscience to Technology
The and/or process model for parallel interpretation of logic programs
The and/or process model for parallel interpretation of logic programs
Parallel architectures for problem solving (prolog, logic-programming, interconnection, network)
Parallel architectures for problem solving (prolog, logic-programming, interconnection, network)
An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel
| Hi-index | 0.00 |
We present a new model for parallel evaluation of logic programs. This model can exploit the main sources of parallelism that the language of logic expresses: Independent {\sc and} parallelism and {\sc or} parallelism, together with a secondary source emerging as a consequence of the Independent {\sc and} Parallelism: the producer/consumer parallelism. The efficiency is derived from the use of ordered structures for managing the information generated throughout the search process. The model is suitable for evaluating programs with a high degree of non-determinism because it never generates two processes for solving the same subgoal and hence it can exploit the same real parallelism generating a lower number of processes than other models. As an application example, we consider the Job Shop Scheduling problem. We report experimental results showing that logic programs can be designed that exhibit parallelism, and that the use of heuristic information translates into speedup in obtaining answers.