I don't think that's much of a difference. Doesn't probabilistic programming allow for a wider range of applications than automated inference/induction? To me,

I don't think that's much of a difference. Doesn't probabilistic programming allow for a wider range of applications than automated inference/induction? To me, a language like Prolog would fit a such a description better.