Deductive and Inductive Probabilistic Programming