问答题设有子句集:S={~I(x)∨R(x),I(a),~R(y)∨~L(y),L(a)}对S用支持集策略归结出空子句,画出归结树。

您可能感兴趣的试卷

你可能感兴趣的试题