Inference in Probabilistic Logic Programs using Weighted CNF's