问题
单项选择题
下面关于编程语言的各种说法中，（）是正确的。
A．由于C语言程序是由函数构成的，因此它是一种函数型语言
B．Smalltalk、C++、Java、C#都是面向对象语言
C．函数型语言适用于编写处理高速计算的程序，常用于超级计算机的模拟计算
D．逻辑型语言是在Client/Server系统中用于实现负载分散的程序语言
答案
参考答案：B
解析：
本题考查程序设计语言的分类。
A选项：C语言提供了一个丰富的运算符集合和比较紧凑的语句格式，虽然C语言程序是由函数构成的，但它是典型的过程式(命令式)程序设计语言。
B选项：C++、Java和C#都是我们十分熟悉的面向对象语言，而Smalltalk是第一个完全基于对象和消息概念的计算机语言。
C选项：函数式语言是一类以λ-演算为基础的语言，其概念来自于LISP，一个在1958年为了人工智能应用而设计的语言。
D选项：逻辑型语言是一类以形式逻辑为基础的语言，其代表是PROLOG，关键操作是模式匹配。在C/S系统中，面向对象语言比较适合用于实现负载分散。