約束編程是一種聲明式編程,它使用數學約束來定義程序中變量之間的關系。這些類型的編程技術通常與其他類型的編程技術相互作用,例如邏輯和命令技術。這些邏輯和命令技術正是約束編程所避免的,通過計算語句和執行更改進行...
約束編程是一種聲明式編程,它使用數學約束來定義程序中變量之間的關系。這些類型的編程技術通常與其他類型的編程技術相互作用,例如邏輯和命令技術。這些邏輯和命令技術正是約束編程所避免的,通過計算語句和執行更改進行邏輯前進。約束編程通常與邏輯編程相結合,形成約束邏輯編程,它是邏輯程序設計的擴展版本。邏輯程序設計包括文字要求和變量比較,約束邏輯程序設計將其擴展到包括約束。約束編程是一種聲明性編程,它使用數學約束來定義程序中變量之間的關系。約束是一個高級數學術語,但它本質上是一個必須滿足的條件一個決定。這是一個簡單化的定義,當用戶對數學有了扎實的理解時,編程范式才是最容易理解的。當看到與約束編程相關的約束時,約束映射出程序中變量之間的相互關系。聲明式編程是一種編程范式,它不涉及說明程序的每個單獨步驟是如何執行或執行的。這些類型的語言不是專注于步驟,而是指定或聲明計算關系。約束程序設計是一種聲明式編程,因為邏輯是被表達和解釋的,而不是一步一步地系統地執行。在計算機程序設計中,變量的定義可能與它們的數學定義稍有不同。除非計算機程序定義了它的含義,否則變量可以是任何意思乍一看,當有人說約束編程使用約束來定義變量之間的相互關系時,這聽起來可能不足以編寫一個完整的計算機程序。實際上,因為計算機編程變量可以包含無限量的數據,定義它們必須如何關聯的細節彼此都有很高的編程能力。約束編程是一種編程范式,也就是說,它闡述了基本事物的基本概念,與其他編程范式相比,基本事物有著根本的不同。不同的范式實際上可以用不同的方式做任何事情。一種語言可以使用順序邏輯,而另一個可能沒有。不同的范例通常使用不同的基本資訊區塊和關系來表示指令。許多其他程式設計范例的基本要素,例如邏輯上連續執行許多行,在約束程式設計中不使用
-
發表于 2020-08-06 08:47
- 閱讀 ( 1945 )
- 分類:電腦網絡