Implementation of a parallel Prolog interpreter on multiprocessors | IEEE Conference Publication | IEEE Xplore