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

A．由于 C 语言程序是由函数构成的，所以也属于函数型语言

B．Smalltalk、C++、Java、C#都是面向对象语言

C．函数型语言适用于编写高速计算的程序，常用于超级计算机的模拟计算

D．逻辑型语言是在 Client/Server 系统中用于实现负载分散的程序语言