On source-to-source transformation of sequential logic programs to AND-parallelism

Three general techniques are discussed for the source-to-source translation of sequential logic programs to AND-parallel logic programs. Producer-consumer information is used to translate deterministic programs with a single solution, utilizing stream-parallelism. Operationally nondeterministic programs with a single solution are translated by simulated OR-parallelism. Enumeration is used for generate-and-test programs. Enumeration needs a programming idiom for AND-parallel programs, called enumerate-and-filter. The enumerate-and-filter paradigm utilizes AND-parallelism along with stream-parallelism and pipelining. The techniques are illustrated with examples of Prolog programs translated to Flat Concurrent Prolog