Coupling Constraint Logic