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 ...
详细信息
ISBN:
(纸本)0818620846
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.
This paper presents an implementation of a parallel logic programming system on a distributed shared memory(DSM) system. Firstly, we give a brief introduction of Andorra-I parallel logic programming system implemented...
详细信息
ISBN:
(纸本)0780342534
This paper presents an implementation of a parallel logic programming system on a distributed shared memory(DSM) system. Firstly, we give a brief introduction of Andorra-I parallel logic programming system implemented on multiprocessors. Secondly, we outline the concurrent programming environment provided by a distributed shared memory system-TreadMarks. Thirdly, we discuss the implementation issues of Andorra-l system based on TreadMarks, such as, shared memory consistency, synchronization, mutual exclusion, shared memory allocation. Finally, me discuss implementation results and further research issues for building a practically useful logic-based reasoning system on distributed shared memory systems.
暂无评论