A Logic Model for Constraint Propagation