问题 单项选择题

逻辑型程序语言是一类以______为基础的语言,______是这类语言的代表。函数型程序语言是一类以______为基础的语言,______是典型的函数型程序语言。

A.λ演算

B.关系理论

C.形式逻辑

D.事实和规则

答案

参考答案:A

填空题
名词解释