LazyRules - 规则的迭代器