宣告式编程维基百科,自由的 encyclopedia 宣告式编程(英语:Declarative programming)或译为宣告式编程,是对与命令式编程不同的编程范型的一种合称。它们建造电脑程序的结构和元素,表达计算的逻辑而不用描述它的控制流程[1]。