教资会网络 | UGC NET CS 2016 年 8 月 – III |问题 75

哪个形式系统为 Prolog 提供了语义基础？
(A)谓词演算
(B) Lambda 演算
(C)霍尔逻辑
(D)命题逻辑答案：（一）
解释：
这个问题的测验
如果您在上面的帖子中发现任何错误，请在下方评论