Static Analysis of Parallel Logic Programs