问题
单项选择题
下面关于编程语言的各种说法中，（）是正确的。
A．由于C语言程序是由函数构成的，因此它是一种函数型语言
B．Smalltalk、C++、Java、C#都是面向对象语言
C．函数型语言适用于编写处理高速计算的程序，常用于超级计算机的模拟计算
D．逻辑型语言是在Client/Server系统中用于实现负载分散的程序语言
答案
参考答案：B
解析：
函数是一种对应规则(映射)，它使定义域中每个元素和值域中唯一的元素相对应。函数式语言是一类以λ-演算为基础的语言，其代表为LISP，主要用于人工智能领域。
逻辑型语言是一类以形式逻辑为基础的语言，其代表是建立在关系理论和一阶谓词理论基础上的PROLOG。PROLOG有很强的推理功能，适用于书写自动定理证明、专家系统和自然语言理解等问题的程序。