什么是申诉式编程语言（Declarative Language）
计算机语言根据计算模型的不同，划分为命令式语言（Imperative programming）常用的C、Java等语言均为命令式和申诉式语言（Declarative programming）。正则表达式（Regular expressions）函数式语言（Functional programming 如 LISP）和逻辑语言（Logic programming 如：Prolog）均为申诉式
