public static String displaySettings() {
    {
      System.out.println();
      System.out.println("*LAZY-SATELLITE-RULES?* =  " + Logic.$LAZY_SATELLITE_RULESp$);
      System.out.println("*CACHE-SUCCEEDED-GOALS?* =  " + Logic.$CACHE_SUCCEEDED_GOALSp$);
      System.out.println("*CACHE-FAILED-GOALS?* =  " + Logic.$CACHE_FAILED_GOALSp$);
      System.out.println("*CACHE-GOAL-QUANTUM* =  " + Logic.$CACHE_GOAL_QUANTUM$);
      System.out.println("*CACHE-INFERABLE-SUBCOLLECTIONS?* =  " + Logic.$CACHE_INFERABLE_SUBCOLLECTIONSp$);
      System.out.println("*INFERENCELEVEL* =  " + ((NormalInferenceLevel)(Logic.$INFERENCELEVEL$.get())));
      System.out.println("*MAXIMUM-BACKTRACKING-DEPTH* =  " + Logic.$MAXIMUM_BACKTRACKING_DEPTH$);
      System.out.println("*TYPE-CHECK-STRATEGY* =  " + ((Keyword)(Logic.$TYPE_CHECK_STRATEGY$.get())));
      System.out.println("*DUPLICATE-SUBGOAL-STRATEGY* =  " + Logic.$DUPLICATE_SUBGOAL_STRATEGY$);
      System.out.println("*DUPLICATE-GOAL-SEARCH-DEPTH* =  " + Logic.$DUPLICATE_GOAL_SEARCH_DEPTH$);
      System.out.println("*DUPLICATE-RULE-SEARCH-DEPTH* =  " + Logic.$DUPLICATE_RULE_SEARCH_DEPTH$);
      System.out.println("*GLOBALLY-CLOSED-COLLECTIONS?* =  " + Logic.$GLOBALLY_CLOSED_COLLECTIONSp$);
      System.out.println("*DEFAULT-MAXIMUM-DEPTH* =  " + Logic.$DEFAULT_MAXIMUM_DEPTH$);
      System.out.println("*INITIAL-BACKTRACKING-DEPTH* =  " + Logic.$INITIAL_BACKTRACKING_DEPTH$);
      System.out.println("*ITERATIVE-DEEPENING-MODE?* =  " + Logic.$ITERATIVE_DEEPENING_MODEp$);
      System.out.println("*DUPLICATEINSTANCESCACHECROSSOVERPOINT* =  " + Logic.$DUPLICATEINSTANCESCACHECROSSOVERPOINT$);
      System.out.println("*CLASSIFY-FROM-NON-INFERABLE-PARENTS-ONLY?* =  " + ((Boolean)(Logic.$CLASSIFY_FROM_NON_INFERABLE_PARENTS_ONLYp$.get())).booleanValue());
      System.out.println();
    }
;
    return ("");
  }