['While', 'both', 'languages', 'aim', 'to', 'generate', 'a', 'propositional', 'formula', 'and', 'compile', 'it', 'into', 'a', 'decision', 'diagram', ',', '“', 'logical', 'inference', '”', 'in', 'PB', 'is', 'based', 'on', 'abductive', 'logic', 'programming', ',', 'while', 'ProbLog', 'grounds', 'the', 'relevant', 'parts', 'of', 'the', 'probabilistic', 'program', '.']