1 citations · 2 across the 3 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2018
Table Space Designs For Implicit and Explicit Concurrent Tabled Evaluation
Miguel Areias, Ricardo Rocha
One of the main advantages of Prolog is its potential for the implicit exploitation of parallelism and, as a high-level language, Prolog is also often used as a means to explicitly…
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.PL2013★ 1 cited
Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
João Santos, Ricardo Rocha
Mode-directed tabling is an extension to the tabling technique that supports the definition of mode operators for specifying how answers are inserted into the table space. In this…