宣言型プログラミング
宣言型に準拠したプログラミング言語
関数型 - Erlang、Haskell、LISP
論理型 - Prolog、Concurrent Prolog、GHC、Mercury
制約 - Oz、Constraint Handling Rules
宣言型に準拠したドメイン固有言語
XSLT は、XML文書の変換のためのチューリング完全な宣言型言語
SQL は、関係データベースのクエリのための宣言的要素を持つ。チューリング完全。
Nix Expression Language
Dhall
宣言型を適用したフレームワーク各種
JUnit
グラフィカルユーザインタフェース § 宣言的UI