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

A．由于C语言程序是由函数构成的，因此它是一种函数型语言

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

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

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