什么是申诉式编程语言（Declarative Language）

  计算机语言根据计算模型的不同，划分为命令式语言（Imperative programming）常用的C、Java等语言均为命令式和申诉式语言（Declarative programming）。

正则表达式（ Regular expressions）函数式语言（ Functional programming 如 LISP）和逻辑语言（ Logic programming 如：Prolog）均为申诉式语言。

    所谓申诉设语言，常见的定义形式有：

•     非命令式语言的任何其它语言均为申诉式语言
•     一种声明那些计算应该被执行，而不是应该如何去计算的语言
•     没有任何边界约束的所有语言
•     一种明确表达数学逻辑的语言

    在计算机科学领域，申诉式编程语言是一种语言风格，它表达的是一个没有包含任何控制流描述的计算逻辑。申诉式语言试图通过描述什么计算被执行，而不是应该如何去完成计算来简化或者消除边界约束 ( side effect )。这点是与我们常用的C、Java等命令式语言完全不同的，命令式语言的描述重点是算法，命令式语言程序设计的模式

是我们熟悉的“算法+数据”模式。

    申诉式语言中，程序是逻辑的理论和计算在逻辑空间的推理。如今，申诉式语言在并行计算等领域正在越来越受到人们的关注。

http://www.bing.com/reference/semhtml/Declarative_programming?mkt=zh-CN