鲁宾逊归结原理是机器定理证明的基础。
判断题 (10 分) 10分
A.对
B.错
出自:国家开放大学人工智能导论