Detection of and Parallelism in Logic Programming