Design and implementation of a parallel logic programming system
Hu Shouren, Yaoqing Gao, Hwang Zhiyi, Ci Yungui · [1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence · 2002
A parallel logic programming system which includes a precompiler, a compiler, and an execution system is presented. An annotated parallel language which is a parallel extension of Prolog is introduced. The techniques used in the precompile phase, such as abstract interpretation and the CAAP (compiling approach for exploiting AND-parallelism) scheme, are described. An optimized compiler, the RAP/LOP (restricted AND-parallelism and limited OR-parallelism) parallel execution model, and the execution system are presented.>