Parallelizing NU-Prolog