填空题 产生式系统的推理过程中，从可触发规则中选择一个规则来执行，被执行的规则称为（）。

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

填空题 在删除策略归结的过程中删除以下子句：含有（）的子句；含有永真式的子句；子句集中被别的子句类含的子句。