Parallelism in Logic Programs