参考答案：D

解析：
高级程序语言，与人们使用的自然语言比较接近，功能强大，抽象度高，较机器语言大大提高了程序设计的效率，常见的有FORTRAN、COBOL、PASCAL、C、Ada、C++、Java等，FORTRAN是第一个被广泛用来进行科学计算的高级语言。ALGOL60主导了20世纪60年代程序语言的发展，是一个分程序结构的语言。COBOL是一种面向事务处理的高级语言，目前主要应用于情报检索、商业数据处理等领域。PASCAL是一种结构化程序设计语言，是从ALGOL60衍生出来的，但功能更强且容易使用。
根据程序设计的方法将程序语言大致分为：
命令式程序设计语言：是基于动作的语言，开始于FORTRAN，PASCAL和C语言，体现了命令式程序设计的关键思想。
面向对象的程序设计语言：基于对象和类的概念，C++、Java和smalltalk是该类语言的代表。
函数式程序设计语言：以λ-演算为基础，是为人工智能应用而设计的语言，代表为LISP。
逻辑型程序设计语言：以形式逻辑为基础，其代表是建立在关系理论和一阶谓词理论基础上的PROLOG。