EM over Binary Decision Diagrams for Probabilistic Logic Programs