Title: An implementation of Or-parallel prolog on a distributed shared memory architecture