* @param options
   */
  public static void assertRdbmsConnectionInfo(String dbInstanceName, Cons options) {
    { PropertyList theoptions = Logic.parseLogicCommandOptions(options, Cons.list$(Cons.cons(RDBMS.KWD_CONNECTION_STRING, Cons.cons(RDBMS.SGT_STELLA_STRING, Cons.cons(RDBMS.KWD_JDBC_CONNECTION_STRING, Cons.cons(RDBMS.SGT_STELLA_STRING, Cons.cons(RDBMS.KWD_ODBC_CONNECTION_STRING, Cons.cons(RDBMS.SGT_STELLA_STRING, Cons.cons(RDBMS.KWD_DSN, Cons.cons(RDBMS.SGT_STELLA_STRING, Cons.cons(RDBMS.KWD_DB, Cons.cons(RDBMS.SGT_STELLA_STRING, Cons.cons(RDBMS.KWD_HOST, Cons.cons(RDBMS.SGT_STELLA_STRING, Cons.cons(RDBMS.KWD_PORT, Cons.cons(RDBMS.SGT_STELLA_INTEGER, Cons.cons(RDBMS.KWD_USER, Cons.cons(RDBMS.SGT_STELLA_STRING, Cons.cons(RDBMS.KWD_PASSWORD, Cons.cons(RDBMS.SGT_STELLA_STRING, Cons.cons(RDBMS.KWD_MODULE, Cons.cons(RDBMS.SGT_STELLA_MODULE, Cons.cons(RDBMS.KWD_CONFIGURATION, Cons.cons(RDBMS.SGT_STELLA_CONFIGURATION_TABLE, Cons.cons(Stella.NIL, Stella.NIL)))))))))))))))))))))))), true, false);
      Stella_Object config = theoptions.lookup(RDBMS.KWD_CONFIGURATION);
      StringWrapper conString = ((StringWrapper)(theoptions.lookupWithDefault(RDBMS.KWD_CONNECTION_STRING, Stella.lookupConfigurationProperty("DBConnection", null, ((KeyValueList)(config))))));
      StringWrapper jdbcConString = ((StringWrapper)(theoptions.lookupWithDefault(RDBMS.KWD_CONNECTION_STRING, Stella.lookupConfigurationProperty("JDBCString", null, ((KeyValueList)(config))))));
      StringWrapper odbcConString = ((StringWrapper)(theoptions.lookupWithDefault(RDBMS.KWD_CONNECTION_STRING, Stella.lookupConfigurationProperty("ODBCString", null, ((KeyValueList)(config))))));
      StringWrapper dsn = ((StringWrapper)(theoptions.lookupWithDefault(RDBMS.KWD_DSN, Stella.lookupConfigurationProperty("DSN", null, ((KeyValueList)(config))))));
      StringWrapper dbName = ((StringWrapper)(theoptions.lookupWithDefault(RDBMS.KWD_DB_NAME, Stella.lookupConfigurationProperty("DBName", null, ((KeyValueList)(config))))));
      StringWrapper host = ((StringWrapper)(theoptions.lookupWithDefault(RDBMS.KWD_HOST, Stella.lookupConfigurationProperty("DBHost", null, ((KeyValueList)(config))))));
      IntegerWrapper port = ((IntegerWrapper)(theoptions.lookupWithDefault(RDBMS.KWD_PORT, Stella.lookupConfigurationProperty("DBPort", null, ((KeyValueList)(config))))));
      StringWrapper user = ((StringWrapper)(theoptions.lookupWithDefault(RDBMS.KWD_USER, Stella.lookupConfigurationProperty("DBUser", null, ((KeyValueList)(config))))));
      StringWrapper password = ((StringWrapper)(theoptions.lookupWithDefault(RDBMS.KWD_PASSWORD, Stella.lookupConfigurationProperty("DBPassword", null, ((KeyValueList)(config))))));
      Module module = ((Module)(theoptions.lookupWithDefault(RDBMS.KWD_MODULE, ((Module)(Stella.$MODULE$.get())))));
      String moduleName = module.moduleFullName;
      Stella_Object dbObject = edu.isi.powerloom.PLI.sGetObject(dbInstanceName, moduleName, null);
      String assertionTemplate = Stella.instantiateStringTemplate("(AND" + ((((jdbcConString != null) &&
          (!Stella.stringEqlP(jdbcConString.wrapperValue, ""))) ? "(RDBMS/JDBC-CONNECTION-STRING #$DB \"#$JDBCCON\")" : "")) + ((((odbcConString != null) &&
          (!Stella.stringEqlP(odbcConString.wrapperValue, ""))) ? "(RDBMS/ODBC-CONNECTION-STRING #$DB \"#$ODBCCON\")" : "")) + ((((dsn != null) &&
          (!Stella.stringEqlP(dsn.wrapperValue, ""))) ? "(RDBMS/DSN #$DB \"#$DSN\")" : "")) + ((((dbName != null) &&
          (!Stella.stringEqlP(dbName.wrapperValue, ""))) ? "(RDBMS/DB-NAME #$DB \"#$NAME\")" : "")) + ((((host != null) &&
          (!Stella.stringEqlP(host.wrapperValue, ""))) ? "(RDBMS/HOST #$DB \"#$HOST\")" : "")) + (((port != null) ? "(RDBMS/PORT #$DB #$PORT)" : "")) + ((((user != null) &&
          (!Stella.stringEqlP(user.wrapperValue, ""))) ? "(RDBMS/USER #$DB \"#$USER\")" : "")) + ((((password != null) &&
          (!Stella.stringEqlP(password.wrapperValue, ""))) ? "(RDBMS/PASSWORD #$DB \"#$PWD\")" : "")) + ")", Cons.cons(StringWrapper.wrapString("#$DB"), Cons.cons(StringWrapper.wrapString(dbInstanceName), Cons.cons(StringWrapper.wrapString("#$DSN"), Cons.cons(StringWrapper.wrapString(dsn.wrapperValue), Cons.cons(StringWrapper.wrapString("#$NAME"), Cons.cons(StringWrapper.wrapString(((dbName != null) ? dbName.wrapperValue : "")), Cons.cons(StringWrapper.wrapString("#$HOST"), Cons.cons(StringWrapper.wrapString(((host != null) ? host.wrapperValue : "")), Cons.cons(StringWrapper.wrapString("#$PORT"), Cons.cons(StringWrapper.wrapString(((port != null) ? Native.integerToString(((long)(port.wrapperValue))) : "")), Cons.cons(StringWrapper.wrapString("#$USER"), Cons.cons(StringWrapper.wrapString(((user != null) ? user.wrapperValue : "")), Cons.cons(StringWrapper.wrapString("#$PWD"), Cons.cons(StringWrapper.wrapString(((password != null) ? password.wrapperValue : "")), Cons.cons(StringWrapper.wrapString("#$JDBCCON"), Cons.cons(StringWrapper.wrapString(((jdbcConString != null) ? jdbcConString.wrapperValue : "")), Cons.cons(StringWrapper.wrapString("#$ODBCCON"), Cons.cons(StringWrapper.wrapString(((odbcConString != null) ? odbcConString.wrapperValue : "")), Stella.NIL)))))))))))))))))));

      if (dbObject != null) {
        edu.isi.powerloom.PLI.sEvaluate(Stella.instantiateStringTemplate("(PROGN (RETRACT-FROM-QUERY (RETRIEVE ALL (RDBMS/DSN #$DB ?dsn)))\n                  (RETRACT-FROM-QUERY (RETRIEVE ALL (RDBMS/DB-NAME #$DB ?db)))\n                  (RETRACT-FROM-QUERY (RETRIEVE ALL (RDBMS/HOST #$DB ?host)))\n                  (RETRACT-FROM-QUERY (RETRIEVE ALL (RDBMS/PORT #$DB ?port)))\n                  (RETRACT-FROM-QUERY (RETRIEVE ALL (RDBMS/USER #$DB ?user)))\n                  (RETRACT-FROM-QUERY (RETRIEVE ALL (RDBMS/PASSWORD #$DB ?pwd)))\n                  (RETRACT-FROM-QUERY (RETRIEVE ALL (RDBMS/CONNECTION-STRING #$DB ?con)))\n                  (RETRACT-FROM-QUERY (RETRIEVE ALL (RDBMS/ODBC-CONNECTION-STRING #$DB ?con)))\n                  (RETRACT-FROM-QUERY (RETRIEVE ALL (RDBMS/JDBC-CONNECTION-STRING #$DB ?con))))", Cons.cons(StringWrapper.wrapString("#$DB"), Cons.cons(StringWrapper.wrapString(dbInstanceName), Stella.NIL))), moduleName, null);
      }
      if (conString != null) {
        edu.isi.powerloom.PLI.sAssertProposition(Stella.instantiateStringTemplate("(RDBMS/#$PROTOCOL-CONNECTION-STRING #$DB \"#$CON\")", Cons.cons(StringWrapper.wrapString("#$PROTOCOL"), Cons.cons(StringWrapper.wrapString((edu.isi.sdbc.Sdbc.odbcConnectionStringP(conString.wrapperValue) ? "ODBC" : "JDBC")), Cons.cons(StringWrapper.wrapString("#$DB"), Cons.cons(StringWrapper.wrapString(dbInstanceName), Cons.cons(StringWrapper.wrapString("#$CON"), Cons.cons(StringWrapper.wrapString(conString.wrapperValue), Stella.NIL))))))), moduleName, null);
      }
      if (!(Stella.stringEqlP(assertionTemplate, "(AND)"))) {
        edu.isi.powerloom.PLI.sAssertProposition(assertionTemplate, moduleName, null);
      }
    }
  }