Title :
Design and implementation of a parallel logic programming system
Author :
Shouren, Hu ; Yaoqing, Gao ; Zhiyi, Hwang ; Yungui, Ci
Author_Institution :
Dept. of Comput. Sci., Changsha Inst. of Technol., Hunan, China
Abstract :
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
Keywords :
PROLOG; logic programming; parallel programming; program compilers; CAAP; Prolog; RAP/LOP; abstract interpretation; annotated parallel language; compiler; execution system; parallel execution model; parallel logic programming system; precompiler; Computer science; Data analysis; Logic programming; Optimizing compilers; Parallel languages; Program processors; Runtime; Tellurium;
Conference_Titel :
Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-2084-6
DOI :
10.1109/TAI.1990.130390
