Parallel Logic Programming Techniques