【正确答案】 D

【答案解析】[解析] 本题考查各程序语言的特点。按照程序设计范型的分类，程序设计语言基本上可以分为命令式程序设计语言、函数式程序设计语言、面向对象程序设计语言和逻辑程序设计语言。 命令式程序设计语言是基于动作的语言，计算在这里被看作是一个动作的序列。这些动作能够改变变量的值，最典型的动作就是赋值。命令式程序设计语言的代表有Fortran，Pascal和C语言等。 函数是一种对应规则(映射)，使定义域中每个元素和值域中唯一的元素相对应。函数式语言是一类以九演算为基础的语言，主要用于人工智能领域，其代表有Lisp、ML等。 面向对象程序设计语言中最核心的东西是对象和类的概念。面向对象的三个核心概念是封装、继承和多态。面向对象程序设计语言的代表有C++、SmallTalk、Java等。 逻辑程序设计语言是一类以形式逻辑为基础的语言，其代表是建立在关系理论和一阶谓词理论基础上的Prolog。Prolog有很强的推理功能，适用于书写自动定理证明、专家系统和自然语言理解等问题的程序。