A parallel resolution method for logic programs
Urs Zolliker · Repository for Publications and Research Data (ETH Zurich) · 1993
Parallelism in logic programming is often classified regarding different aspects such as Or-parallelism, And-parallelism, Stream-parallelism, and Search-parallelism.Most often, researchers consider SLD-refutations or a standard PROLOG interpreter and try to parallelize the algorithm or the work done by the interpreter.