On Applying Or-Parallelism to Tabled Evaluations

Ricardo Rocha, Fernando Silva and Vítor Santos Costa

April 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

@TechReport{rocha-dcc97-02,
  author =      {R. Rocha and F. Silva and V. Santos Costa},
  title =       {{On Applying Or-Parallelism to Tabled Evaluations}},
  institution = {DCC-FC \& LIACC, University of Porto},
  number =      {DCC-1997-02},
  month =       {April},
  year =        {1997},
}

Download Report

PDF file