声明式编程

维基百科,自由的百科全书
跳转到: 导航, 搜索
跳过字词转换说明

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

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

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

[编辑] 模範語言

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

[编辑] 參見

[编辑] 外部鏈結

「宣告式」與「指令式」

个人工具
名字空间
操作
导航
帮助
工具
其他语言