約束程式

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

編程範式