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
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.