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…