宣告式编程（）或译为声明式编程，是一种编程范式，与指令式编程相对立。它描述目标的性质，让电脑明白目标，而非流程。声明式编程不用告诉电脑问题领域，从而避免随之而来的副作用。而指令式编程则需要用算法来明确的指出每一步该怎么做。宣告式编程通常被看做是形式逻辑的理论，把计算看做推导。宣告式编程因大幅简化了并行计算的编写难度，自2009起备受关注。宣告式语言套件包括资料库查询语言（SQL，XQuery），正则表达式，逻辑编程，函数式编程和组态管理系统。宣告式编程透过函数、推理规则或重写规则，来描述变数之间