询语言（SQL，XQuery），正则表达式，逻辑编程，函数式编程和组态管理系统。宣告式编程透过函数、推理规则或重写规则，来描述变数之间的关系。它的语言执行器（编译器或解释器）採用了一个固定的算法，以从这些关系产生结果。宣告式编程语言通常用作解决人工智能和约束满足问题。
定义.声明式编程通常被定义为除命令式以外的编程范式。同时存在一些其他的定义，这些定义不是简单的将宣告式编程和命令式编程做对比，例如：这些定义有一些是重合的。
子编程范式.声明式