A Constraint-Propagation Approach to Probabilistic Reasoning