OR Parallel Execution of Prolog Programs with Side Effects

With the growing availability of multiprocessors, a great deal of attention has been given to executing Prolog in parallel. A question that naturally arises is how to execute standard sequential Prolog programs with side effects in parallel. The problem of performing side effects in AND parallel systems has been considered elsewhere. This paper presents a method that generates sequential semantics of side effect predicates in an OR parallel system. First, a general method is given for performing data side effects such as read and write. This method is then extended to control side effects such as asserta, assertz, and retract. Finally, a constant-time algorithm for performing cut is presented.

L.V. Kale and D.A. Padua and D.C. Sehr, "OR Parallel Execution of Prolog 
Programs with Side Effects", The Journal of Supercomputing, Publ: Kluwer 
Academic Publishers, vol. 2, pp. 209-223, October 1988.

@ARTICLE{ParPrologJOS88,
  author = "L.V. Kal{\`e} and D.A. Padua and D.C. Sehr",
  title = "{OR} Parallel Execution of {P}rolog Programs with Side Effects",
  journal = "The Journal of Supercomputing",
  publisher = "Kluwer Academic Publishers",
  volume = 2,
  number = 2,
  pages = "209-223",
  month = "October",
  year = "1988",
  annote = "88-8",
  group = Y,
}