集（例如Select queries等）。DSLs有时非常有用，并且不需要是图灵完全的，这往往让其很容易以一种纯宣告式的方式来表达。很多文本标记语言例如HTML、MXML、XAML和XSLT往往是声明式的。
函数式编程.函数式编程，特别是纯函数式编程，尝试最小化状态带来的副作用，因此被认为是宣告式的。大多数函数式编程语言，例如Scheme、Clojure、Haskell、OCaml、Standard ML和Unlambda，允许副作用的存在。
逻辑式编程