宣告式編程

维基百科,自由的百科全书
跳转至: 导航搜索

宣告式編程英语Declarative programming)是一種編程典範,与指令式編程相對立。它描述目標的性質,讓電腦明白目標,而非流程。声明式编程不用告诉电脑问题领域,从而避免随之而来的副作用。而指令式编程则需要用算法来明确的指出每一步该怎么做。

声明式编程通常被看做是形式逻辑的理论,把计算看做推导。声明式编程因大幅简化了并行计算的编写难度,自2009起备受关注。

声明式语言包括数据库查询语言(SQLXQuery),正则表达式,逻辑编程,函数式编程和组态管理系统。

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

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

參見[编辑]

外部鏈結[编辑]

「宣告式」與「指令式」