ABSTRACT
The purpose of this chapter is to present Bayesian Programming formally and to demonstrate that it is very simple and very clear but, nevertheless, very powerful and subtle. Probability is an extension of logic, as mathematically sane and simple as logic, but with more expressive power than logic.
