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

admin2019-04-08  34

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

选项 A、等词理论与λ演算
B、λ演算与等词理论
C、一阶谓词逻辑与λ演算
D、λ演算与一阶谓词逻辑

答案D

解析
转载请注明原文地址:https://jikaoti.com/ti/rlJ7FFFM
0

最新回复(0)