Parallel execution of prolog on shared-memory multiprocessors | doi.page