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