Bayesian programming is a formal methodology for specifying probabilistic models and solving problems under uncertainty. It provides a structured way to combine prior knowledge, observed data, and probabilistic inference when complete information is unavailable.
A formalism and a methodology for having a technique to specify probabilistic models and solve problems when less than the necessary information is available.