Bayesian Programming

Probability as an extension of logic