11 citations · 21 across the 4 of their papers we have counts for
4 papers
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores
João Santos, Ricardo Rocha
Nowadays, clusters of multicores are becoming the norm and, although, many or-parallel Prolog systems have been developed in the past, to the best of our knowledge, none of them wa…
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…
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…
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…