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.