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