下面关于编程语言的各种说法中，（）是正确的。

下面关于编程语言的各种说法中，（）是正确的。
A.由于C语言程序是由函数构成的，所以也属于函数型语言
B.Smalltalk、C++、Java、C#都是面向对象语言
C.函数型语言适用于编写高速计算的程序，常用于超级计算机的模拟计算
D.逻辑型语言是在Client/Server系统中用于实现负载分散的程序语言
正确答案：B