Technical Report: DCC-97-2

On Applying Or-Parallelism to Tabled Evaluations

Ricardo Rocha, Fernando Silva e Vítor Santos Costa

Departamento de Ciência de Computadores & LIACC
Faculdade de Ciências, Universidade do Porto
Rua do Campo Alegre, 823 4150 Porto, Portugal

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.

Keywords: Parallel Logic Programming, Or-parallelism, Tabling.

---