Inference and learning in probabilistic logic programs using weighted Boolean formulas