表述编程语言(Declarative Programming Language)

       在计算机科学中,表述程序语言是一种描述问题而不是定义解决方案的高级语言。一个表述程序语言描述问题，而一个命令程序语言规定了要执行的命令。
       表述编程有两个定义，目前都在使用。
       一种定义，如果一个程序只是描述了某事而不是如何生成，那么就是表述性的。例如HTML是表述性的，因为只是描述了网页中含有了什么，而不是如何在一个计算机屏幕上实际显示。
      另一种定义，如果一个程序是用完全函数程序语言，逻辑程序语言或者约束程序语言编写的，那么就是表述性的。表述语言有时被用来描述所有这些编程语言，和命令语言相对。
      表述程序语言可以有很多方式来表述。逻辑程序语言，例如Prolog，是表述性的。程序员使用这样的语言，可以描述关系和问关于这些关系的问题，而不用定义如何计算这些问题。函数程序语言是表述性的。他的函数可以使结果和输入联系起来，而不需要定义一个严格的操作顺序。面向数据程序语言和查询语言是表述性的，因为它的查询没有给出如何查找数据，只是给出了目标数据的条件（SQL和正则表达式就是这样的例子）。
      现在已经有一些完全的表述语言。例如，接口描述语言（IDLs），大部分都是表述性的，因为他们规定了关系而没有规定计算。还有框架语言和本体语言，例如OWL和Cycl。
     完全的表述语言一般是不做任何计算的，而是规定关系。这些关系然后被用来执行计算。例如VRML，虚拟现实标记语言，一个3D场景描述语言。在这个语言中，一个旋转表述可以被用来声明一个对象旋转。当实际绘制时，意味着这个对象被绘制成旋转的。