单选题 函数式程序设计语言和逻辑式程序设计语言都属于 (13) 语言。逻辑式语言的基础是 (14) ,如Prolog是逻辑式程序设计语言,它的基本运算单位是 (15) 。函数式语言是一种面向 (16) 的语言。

单选题 A.申述式 B.命令式 C.过程 D.第四代
【正确答案】 A
【答案解析】
单选题 A.λ演算 B.异调代数 C.谓词逻辑 D.范畴论
【正确答案】 C
【答案解析】
单选题 A.Horn子句 B.函数 C.子程序 D.模块
【正确答案】 A
【答案解析】
单选题 A.对象 B.谓词 C.表达式 D.值
【正确答案】 D
【答案解析】