Experiments with OR-Parallel Logic Programs

We present here the results of several experiments involving OR-parallelism, based on the implementation of a parallel Warren Abstract Machine at Argonne National Laboratory. The experiments illustrate a variety of effects resulting from various types of programs, and raise issues that must be dealt with in any parallel implementation. We also demonstrate a tool for obtaining a visual representation of the parallelism.