A Constraint Propagation Approach to Probabilistic Reasoning