论文信息 - Parallel execution of prolog on shared-memory multiprocessors

Parallel execution of prolog on shared-memory multiprocessors

Logic programs offer many opportunities for the exploitation of parallelism. But the parallel execution of a task incurs various overheads. This paper focuses on the issues relevant to parallelizing Prolog on shared-memory multiprocessors efficiently.

[1] Chengzheng Sun,et al. The OR-Forest Description for the Execution of Logic Programs , 1986, ICLP.

[2] Seif Haridi,et al. The Aurora or-parallel Prolog system , 1990, New Generation Computing.

[3] Shouren Hu,et al. A Compliling Approach for Exploiting And-parallelism in Parallel Logic Programming Systems , 1989, PARLE.

[4] Seif Haridi,et al. OR-Parallel Prolog Made Efficient on Shared Memory Multiprocessors , 1987, SLP.

[5] Giorgio Levi,et al. Models, Unfolding Rules and Fixpoint Semantics , 1988, ICLP/SLP.