所谓申诉设语言，常见的定义形式有：非命令式语言的任何其它语言均为申诉式语言 一种声明那些计算应该被执行，而不是应该如何去计算的语言 没有任何边界约束的所有语言 一种明确表达数学逻辑的语言 在计算机科学领域，申诉式编程语言是一种语言风格，它表达的是一个没有包含任何控制流描述的计算逻辑。申诉...
什么是申诉式编程语言
计算机语言根据计算模型的不同，划分为命令式语言（Imperative programming）常用的C、Java等语言均为命令式和申诉式语言（Declarative programming）。
正则表达式（Regular expressions）函数式语言（Functional programming 如 LISP）和逻辑语言（Logic programming 如：Prolog）均为申诉式语言。
所谓申诉设语言，常见的定义形式有：
非命令式语言的任何其它语言均为申诉式语言
一种声明那些计算应该被执行，而不是应该如何去计算的语言
没有任何边界约束的所有语言
一种明确表达数学逻辑的语言
在计算机科学领域，申诉式编程语言是一种语言风格，它表达的是一个没有包含任何控制流描述的计算逻辑。申诉式语言试图通过描述什么计算被执行，而不是应该如何去完成计算来简化或者消除边界约束(side effect)。这点是与我们常用的C、Java等命令式语言完全不同的，命令式语言的描述重点是算法，命令式语言程序设计的模式
是我们熟悉的“算法+数据”模式。
申诉式语言中，程序是逻辑的理论和计算在逻辑空间的推理。如今，申诉式语言在并行计算等领域正在越来越受到人们的关注。2016-08-19
