单选题 程序设计语言Lisp与Prolog分别是 (41) ，它们的理论基础分别是 (42) 它们的数据结构分别是 (43) ，它们的程序形式分别是 (44) ，主要应用于 (45) 。

单选题 A．逻辑与对象 B．对象与逻辑
C．函数与逻辑 D．逻辑与函数
【正确答案】 C
【答案解析】
单选题 A．等词理论与λ演算 B．λ演算与等词理论
C．一阶谓词逻辑与λ演算 D．λ演算与一阶谓词逻辑
【正确答案】 D
【答案解析】
单选题 A．S-表达式与项 B．项与记录
C．记录与函数 D．函数与公式
【正确答案】 A
【答案解析】
单选题 A．Horn子句与函数 B．函数与Horn
C．Horn子句与过程 D．过程与函数
【正确答案】 B
【答案解析】
单选题 A．事务处理 B．人工智能
C．文字处理 D．科学计算
【正确答案】 B
【答案解析】[解析] 见试题9-12和试题27-30的分析。