On Applying Or-Parallelism to Tabled Evaluations

Ricardo Rocha, Fernando Silva and Vítor Santos Costa

July 1997

---

Abstract

One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficiently exploited in tabling systems and propose two alternative approaches, Or-Parallelism within Tabling (OPT) and Tabling within Or-Parallelism (TOP). We then focus on OPT approach where environment copying is used to implement or-parallelism. We give the necessary data structures and data areas and describe an algorithm for the public completion operation.

Bibtex

@InProceedings{rocha-tlp97,
  author =    {R. Rocha and F. Silva and V. Santos Costa},
  title =     {{On Applying Or-Parallelism to Tabled Evaluations}},
  booktitle = {Proceedings of the 1st International Workshop on Tabling in Logic Programming},
  pages =     {33--45},
  editor =    {J. Freire and C. R. Ramakrishnan},
  month =     {June},
  year =      {1997},
  address =   {Leuven, Belgium},
}

Download Paper

PDF file

Download Slides

PDF file