Inference and learning in probabilistic logic programs using weighted Boolean formulas | Read Paper on Bytez