在计算中，响应式编程或反应式编程是一种面向数据串流和变化传播的声明式编程编程范式。这意味着可以在编程语言中很方便地表达静态或动态的数据流，而相关的计算模型会自动将变化的值通过数据流进行传播。
Gremlin是Apache软件基金会下的Apache TinkerPop开发的图遍历语言和虚拟机。Gremlin适用于基于OLTP的图数据库以及基于OLAP的图处理器。Gremlin的函数式语言和自动机基础使Gremlin能够自然地支持指令式编程和声明式编程查询、主机语言不可知性、用户定义的领域特定语言、可扩展的编译器/优化器、单机和多机运行模型、混合深度和广度优先评估以及图灵完备性。
约束编程是一种编程典范，在这种编程范式中，变量之间的“关系”是以约束的形式陈述的。这些“关系”和命令式编程语言元素不同的是：它们并非明确说明了要去执行的步骤中的某一步，而是规范其解的一些属性。这样看来，约束编程是一种声明式编程。
Modelica是一种面向对象的程序设计、声明式编程的多领域建模语言，可用于基于组件的软件工程的复杂系统建模。Modelica语言是自由软件，由非盈利性质的Modelica协会开发。Modelica协会也开发了同样为自由软件的Modelica标准库，Modelica标准库包含可用于不同领域的约1290个常见组件模型和910个函数。
回答集编程是语法上类似逻辑编程而语义上密切于非单调逻辑的一种声明式编程。在传统逻辑编程和回答集编程之间的主要区别是如何表示否定为失败。在传统逻辑编程中，否定为失败指示推导失败；在回答集编程中，它指示一个文字的一致性。
归纳编程，是特定领域的自动编程，覆盖了人工智能和计算机编程的一些研究领域，它致力于典型的声明式编程且常为递归程序的机器学习，它们面向不完全的规定比如输入/输出例子或约束。
关系演算包括元组关系演算和域关系演算，是数据库的关系模型的一部分，提供了查询数据库的声明式编程。关系演算与关系模型中的关系代数相反，因为关系代数提供的是查询数据库的指令式编程。
约束编程是一种编程典范，在这种编程范式中，变量之间的“关系”是以约束的形式陈述的。这些“关系”和命令式编程语言元素不同的是：它们并非明确说明了要去执行的步骤中的某一步，而是规范其解的一些属性。这样看来，约束编程是一种声明式编程。
Modelica是一种面向对象的程序设计、声明式编程的多领域建模语言，可用于基于组件的软件工程的复杂系统建模。Modelica语言是自由软件，由非盈利性质的Modelica协会开发。Modelica协会也开发了同样为自由软件的Modelica标准库，Modelica标准库包含可用于不同领域的约1290个常见组件模型和910个函数。
在计算机科学和人工智能领域，本体语言是指用于构建本体的形式语言。此类语言允许对有关特定学科的知识加以编码，且常常还包括为处理这些知识提供支持的推理规则。本体语言通常为声明式编程，几乎总是属于框架语言的泛化形式，且一般都基于一阶逻辑或描述逻辑。
Mini wiki
