填空题

【参考答案】

出现在规则中任何地方的变量必须出现在某个非求反的关系子目标中