参考答案：A

解析：

[分析]： 软件语言主要包括需求定义语言、功能性语言、设计性语言、程序设计语言和文档语言等。
需求定义语言用来描述软件需求规格说明，典型的需求定义语言有PSL(问题陈述语言)。
功能性语言用来描述软件功能规约，典型的功能性语言有Z语言、FGSPEC语言等。其中z语言是一种以一阶谓词演算为主要理论基础的规约语言。
设计性语言用来描述软件设计规约，典型的设计性语言有PDL语言、 GSPEC语言等。
文档语言用来书写软件文档；前述的软件需求规格说明；软件功能规约、软件设计规约等都是软件文档，它们可用相应的语言形式化地书写。此外，还有一些其他的阐明性资料(例如用户手册)也是软件文档，以便于用户理解相应的软件。这些阐明性资料一般都是用自然语言或半形式化语言书写的。
从语言介绍部分可直接获得第4小题答案。
程序设计语言可分为过程式语言和非过程式语言。过程式语言的主要特征是用户可指明一系列可顺序执行的运算，以表示相应的计算过程。C++、Java、 Ada、Modula、Eiffel等都是过程式语言。非过程式语言的含义是相对的，凡是用户无法指明表示计算过程的一系列可顺序执行的运算的语言都是非过程式语言。Prolog、RPG等都是非过程式语言。