Issue No. 12 - December (1990 vol. 39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.61072
<p>Performance results are presented for a parallel execution model for Prolog that supports AND-parallelism, OR-parallelism, and intelligent backtracking. The results show that restricted AND-parallelism is of limited benefit for small programs, but produced speedups from 7-10 on two large programs. OR-parallelism was found to be generally not useful for the benchmarks examined if the semantics of Prolog were preserved. Of particular interest is the phenomenon of super-multiplicative behavior, in which the performance improvement obtained when more than one technique is used is greater than the product of the performance improvements due to each technique individually. The implications of the performance results for parallel Prolog systems are discussed, and directions for future work are indicated.</p>
performance; parallel Prolog programs; AND-parallelism; OR-parallelism; intelligent backtracking; super-multiplicative behavior; parallel programming; performance evaluation; PROLOG.
A. Despain and B. Fagin, "The Performance of Parallel Prolog Programs," in IEEE Transactions on Computers, vol. 39, no. , pp. 1434-1445, 1990.