定义约束程式设计的英文

definitional constraint programming，dcp

• 定义:    definition; delimi ...
• 约束:    keep within bounds ...
• 程式:    pattern; form to b ...
• 设计:    devise; project; p ...