Performance Evaluation of Or-Parallel Logic Programming Systems on Distributed Shared-Memory Architectures

. Distributed shared-memory (DSM) architectures have been object of research by many computer science groups. In this work, we investigate how DSM architectures affect performance of or-parallel logic programming systems and how this performance approaches that of conventional C systems. Our work concentrates on basic performance, scalability, and programmability. Keywords: logic programming, conventional programming, parallelism, DSM architectures, performance evaluation 1 Introduction Distributed shared-memory architectures have been object of research by many computer science groups. Research goes broadly from hardware based coherence protocols to DSM software protocols on networks of workstations passing through high technology inter-connection networks that reduce network latency. In this work we investigate how DSM architectures affect performance of parallel logic programming systems and compare to results obtained for parallel conventional systems. We use execution-dr..