问题
单项选择题
函数式程序设计语言和逻辑式程序设计语言都属于 (13) 语言。逻辑式语言的基础是 (14) ,如Prolog是逻辑式程序设计语言,它的基本运算单位是 (15) 。函数式语言是一种面向 (16) 的语言。
A.λ演算
B.异调代数
C.谓词逻辑
D.范畴论
答案
参考答案:C
函数式程序设计语言和逻辑式程序设计语言都属于 (13) 语言。逻辑式语言的基础是 (14) ,如Prolog是逻辑式程序设计语言,它的基本运算单位是 (15) 。函数式语言是一种面向 (16) 的语言。
A.λ演算
B.异调代数
C.谓词逻辑
D.范畴论
参考答案:C