In the rest of the discussion we will often refer to the following application to illustrate the concepts of parallelism in logic programming.