sbool ai_applyFactToFactRules_debug;

static Collection<S> ai_applyFactToFactRules() {
  L<IfThen> rules = ai_parseRulesWithMacros(mL_raw("Fact-to-fact rules"));
  if (ai_applyFactToFactRules_debug)
    print("ai_applyFactToFactRules: " + n2(rules, "rule"));
  Set<S> outFacts = ai_deriveFacts(rules, mL("Random facts"));
  appendToMechList("Derived facts", outFacts);
  ret outFacts;
}

static LS ai_applyFactToFactRules(S rules, S facts) {
  ret asList(ai_deriveFacts(ai_parseRulesWithMacros(rules), tlft(facts)));
}