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…