svoid philosophyBot1_factStore(PhilosophyBot1 bot, IFactStore factStore, O... _) {
  if (factStore == null) ret;
  
  bot.addFacts(factStore.facts());
  
  optPar bool debug;
  bot.addNativePredicate("delete all $x",
    (map) -> {
      S pat = map.get("$x");
      factStore.deleteAll(s -> {
        SS map2 = bot.zipIt(pat, s);
        if (map2 == null) false;
        if (debug) print("Delete match: " + map2);
        true;
      });
      true;
    });
  bot.addNativePredicate("store $x",
    (map) -> {
      S x = map.get("$x");
      if (debug) print("factStore: store " + x);
      factStore.store(x); true;
    });
    
}