On the relationship between P-log and LP MLN
Inference and learning in probabilistic logic programs using weighted Boolean formulas