約束やくそく程ほど式しき

約束やくそく程ほど式しき（Constraint programming）係がかり一いち種しゅ編へん程ほど範式はんしき，喺呢種しゅ編へん程ほど範式はんしき入いれ面めん，變量へんりょう之これ間あいだ嘅「關係かんけい」係がかり以約束やくそく嘅形式しき陳述ちんじゅつ（組織そしき）嘅。呢啲「關係かんけい（約束やくそく）」同どう埋うめ命令めいれい式しき編へん程ほど語かたり言げん元素げんそ唔同嘅係：佢哋並なみ冇明確かく話ばなし畀人聽要去さ執行しっこう嘅步驟中嘅某一いち步ほ，而係規範きはん佢解嘅一些屬性せい。咁樣睇落去さ，約束やくそく程ほど式しき係がかり一いち種しゅ聲明せいめい式しき程ほど式しき。