A Shared Environment Parallel Logic Programming System on Distributed Memory Architectures | AMiner