合一算法：求非空有限具有相同谓词名的原子公式集的（）。_爱下问搜题

搜题请搜索小程序“爱下问搜题”

问题填空题

合一算法：求非空有限具有相同谓词名的原子公式集的（）。

答案

参考答案：最一般合一

选择题

We have a new friend today.[ ]

A. Welcome

B. Watch out

C. Watch TV

D. Thank you

判断题

低碳消费首先需要一种态度，然后形成一种习惯，最后定型为一种价值观。