*/
  public static void runForwardRules(Cons options) {
    { Cons optionslist = options;
      PropertyList theoptions = Stella_Object.parseOptions((Stella_Object.keywordP(optionslist.value) ? optionslist : Cons.consList(Cons.cons(Logic.KWD_MODULE, Cons.cons(optionslist.value, Cons.cons(Logic.KWD_FORCEp, Cons.cons(((optionslist.rest.value == Logic.KWD_FORCE) ? Stella.TRUE_WRAPPER : Stella.FALSE_WRAPPER), Stella.NIL)))))), Cons.list$(Cons.cons(Logic.KWD_MODULE, Cons.cons(Logic.SGT_STELLA_MODULE, Cons.cons(Logic.KWD_FORCEp, Cons.cons(Logic.SGT_STELLA_BOOLEAN, Cons.cons(Stella.NIL, Stella.NIL)))))), true, false);
      Module themodule = ((Module)(theoptions.lookupWithDefault(Logic.KWD_MODULE, ((Module)(Stella.$MODULE$.get())))));
      boolean forceP = BooleanWrapper.coerceWrappedBooleanToBoolean(((BooleanWrapper)(theoptions.lookupWithDefault(Logic.KWD_FORCEp, Stella.FALSE_WRAPPER))));

      try {
        Logic.callRunForwardRules(themodule, forceP);
      } catch (Clash e) {
        Stella.STANDARD_ERROR.nativeStream.print(Stella.exceptionMessage(e));
        System.out.println("   One or more facts need to be retracted to eliminate the inconsistency.");
      }
    }
  }