。同时存在一些其他的定义，这些定义不是简单的将宣告式编程和命令式编程做对比，例如：这些定义有一些是重合的。
子编程范式.声明式编程是一个大的概念，其下包含一些有名的子编程范式。
约束式编程.在约束式编程（）中，变量之间的关系是在约束中说明的，定义了问题的解的范围。这些约束然后被应用程序来求解，以使得每个变量获得一个值，并让最多的约束得到满足。约束式编程经常被用作函数式编程、逻辑编程甚至命令式编程的补充。
领域专属语言.一