*/
  public void destroyInferenceProblemStoreByName(final String name) throws IOException, CycApiException {
    //// Preconditions
    if (name == null) {
      throw new NullPointerException("name must not be null");
    }
    if (name.length() == 0) {
      throw new IllegalArgumentException("name must not be an empty string");
    }
    final String command =
            "(destroy-problem-store-by-name \"" + name + "\")";
    converseVoid(command);
  }