Are there any implementations, of either Prolog or other declarative languages, that try to parallelize parts of their search, then have multiple cores or even

Are there any implementations, of either Prolog or other declarative languages, that try to parallelize parts of their search, then have multiple cores or even a GPU take the problem to speed up solutions?