Stack-splitting : A Simple Technique for Implementing Or-parallelismand And-parallelism on Distributed Machines 1

@inproceedings{Gupta1999StacksplittingA,
  title={Stack-splitting : A Simple Technique for Implementing Or-parallelismand And-parallelism on Distributed Machines 1},
  author={Gopal Gupta},
  year={1999}
}
And then Krishna held up a twig, pointed it towards Bhima, and split it through the middle. Abstract: We study the problem of exploiting or-parallelism from logic programming systems on distributed machines. We propose stack-splitting, a modiication of the well-known stack-copying technique for environment representation, that can be used for exploiting or-parallelism eeciently from logic programming systems on distributed-memory machines. Stack-splitting coupled with scheduling on bottom-most… CONTINUE READING