制约逻辑