sinterface IFactStore {
  void store(S fact);
  void deleteAll(IPred<S> filter);
}

svoid philosophyBot1_factStore(PhilosophyBot1 bot, IFactStore factStore) {
  bot.addNativePredicate("delete all $x",
    (map) -> factStore.deleteAll(map.get("$x")));
  bot.addNativePredicate("store $x",
    (map) -> factStore.store(map.get("$x")));
}