6 citations · 7 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2013★ 1 cited
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores
Rui Vieira, Ricardo Rocha, Fernando Silva
Many or-parallel Prolog models exploiting implicit parallelism have been proposed in the past. Arguably, one of the most successful models is environment copying for shared memory…
cs.PL2003★ 6 cited
On Applying Or-Parallelism and Tabling to Logic Programs
Ricardo Rocha, Fernando Silva, Vitor Santos Costa
The past years have seen widening efforts at increasing Prolog's declarativeness and expressiveness. Tabling has proved to be a viable technique to efficiently overcome SLD's susce…