code: function(fI, fD, F, alg, rules) {        
          if (!alg) alg = ReasoningEngine.incremental;
          return alg(fI, fD, F, rules);
      }
docs: Evaluates knowledge base update using
  advanced reasoning algorithms (incremental, tag-based).
  @param fI The facts to insert
  @param fD The facts to delete
  @param F The KB
  @param alg The reasoning algorithm (function)
  @returns {*}