Optimizing Inference for Probabilistic Logic Programs Exploiting Independence and Exclusiveness