逻辑型程序语言是一类以______为基础的语言,______是这类语言的代表。函数型
题型:单项选择题
问题:
逻辑型程序语言是一类以______为基础的语言,______是这类语言的代表。函数型程序语言是一类以______为基础的语言,______是典型的函数型程序语言。
A.λ演算
B.关系理论
C.形式逻辑
D.事实和规则
逻辑型程序语言是一类以______为基础的语言,______是这类语言的代表。函数型程序语言是一类以______为基础的语言,______是典型的函数型程序语言。
A.λ演算
B.关系理论
C.形式逻辑
D.事实和规则