On the relationship between P-log and LP MLN
Probabilistic theorem proving