声明式编程

宣告式編程（英语：Declarative programming）是一種編程典範，採用了和指令式編程對立的方向。它描述目標的性質，讓電腦明白目標是什麼。

宣告式編程透過函數、推論規則或项重写（term-rewriting）規則，來描述變數之間的關係。它的語言執行器（編譯器或解释器）採用了一個固定的算法，以從這些關係產生結果。

宣告式編程語言通常用作解決人工智能和約束滿足問題。

模範語言

宣告式編程包含了函數式編程和邏輯編程，故採用這兩種編程典範的程式語言如Prolog或Haskell都屬宣告式編程。其他例子有SQL。

參見

• （對立的）指令式編程
• 函數式編程和邏輯編程

外部鏈結

「宣告式」與「指令式」