Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Prolog and its performance: exploiting independent and-parallelism
Logic programming
The reduce-or process model for parallel execution of logic programs
Journal of Logic Programming
The Muse Or-parallel Prolog model and its performance
Proceedings of the 1990 North American conference on Logic programming
Machine independent “and” and “or” parallel execution of logic programs
Machine independent “and” and “or” parallel execution of logic programs
Portable parallel test generation for sequential circuits
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
ProperSYN: a portable parallel algorithm for logic synthesis
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
The and/or process model for parallel interpretation of logic programs
The and/or process model for parallel interpretation of logic programs
Nested Parallel Call Optimization
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Hi-index | 0.00 |
A difficult but challenging problem is the efficient exploitation of AND and OR parallelism in logic programs without making any assumptions about the underlying target machine(s). In earlier papers, we described the design of a binding environment for AND and OR parallel execution of logic programs on shared and nonshared memory machines and the performance of a compiler (called ROLOG) using this binding environment on a range of MIMD parallel machines.In this paper, we present an important optimization for portable parallel logic programming, namely distributed last-call optimization, an analog of the tail recursion optimization for sequential Prolog. This scheme has been implemented in the ROLOG compiler, which ports unchanged on several shared memory and nonshared memory machines. We describe the effect of this optimization on several OR, AND/OR and AND parallel benchmark programs.