11 citations · 21 across the 4 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2012★ 11 cited
Towards Multi-Threaded Local Tabling Using a Common Table Space
Miguel Areias, Ricardo Rocha
Multi-threading is currently supported by several well-known Prolog systems providing a highly portable solution for applications that can benefit from concurrency. When multi-thre…
cs.PL2011★ 4 cited
The YAP Prolog System
Vítor Santos Costa, Luís Damas, Ricardo Rocha
Yet Another Prolog (YAP) is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then. This paper presents the general…
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…