Parallel logic programming on distributed shared memory system

We present an implementation of a parallel logic programming system on a distributed shared memory (DSM) system. Firstly, we give a brief introduction to 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-I system based on TreadMarks, such as, shared memory consistency, synchronization, mutual exclusion, shared memory allocation. Finally, we discuss the implementation results and further research issues for building a practically useful logic-based reasoning system on distributed shared memory systems.