約束編程

約束編程  是一種編程典範 ， 在這種編程範式中 ， 變量之間的 “ 關係 ” 是以約束的形式陳述 （ 組織 ） 的 。 這些 “ 關係 （ 約束 ） ” 和命令式編程語言元素不同的是 ： 它們並非明確說明了要去執行的步驟中的某一步 ， 而是規範其解的一些屬性 。 這樣看來 ， 約束編程是一種聲明式編程 。 Category: 限制滿足 Category: 編程典範