約束程式

約束程式（Constraint programming）係一種編程範式，喺呢種編程範式入面，變量之間嘅「關係」係以約束嘅形式陳述（組織）嘅。呢啲「關係（約束）」同埋命令式編程語言元素唔同嘅係：佢哋並冇明確話畀人聽要去執行嘅步驟中嘅某一步，而係規範佢解嘅一些屬性。咁樣睇落去，約束程式係一種聲明式程式。