!include #1007689 // Web v2

static int saveInterval = 60000;

sbool clearWeb = true; // clear every time?

static volatile new Web web;

static L<Lisp> facts;

static L<S> vars;

static long lastSave, sizeSaved;

extend Web {

  volatile transient bool cancelled, calculating;

}

svoid pConsoleThoughtMachine {

  tt();

  setConsoleTitle(programTitle());

  load("web"); lastSave = sysNow();

  setFrameHeight(consoleFrame(), 400);

  centerConsole();

  //magellan();

  //graphite();

  //mistAqua();

  //moderateTheme();

  sahara();

  swing {

    if (!englishToConceptLanguage_xyz_debug) clearConsole();

    consoleAddAskButton();

    focusConsole();

    final JLabel lblBrainSize = jRightAlignedLabel();

    addToConsole2(withMargin(centerAndEast(lblBrainSize,

      withLeftMargin(jbutton("Reset", "reset")))));

    awtEvery(lblBrainSize, 1000, r {

      lblBrainSize.setText("Brain Size: " + toM(fileSize(programFile("web.structure")), 1) + " MB");

    });

    awtCalcEvery(lblBrainSize, 1000, 1000, r {

      if (web.calculating) ret;

      int webSize = web.count();

      if (shouldSave(webSize, false)) saveWeb(webSize);

    });

  }

  aiEnhancements();

  aiConcepts_noAutoClear();

  useConceptsDump(concepts);

  set englishToConceptLanguage_useBrackets;

  vars = ll();

  facts = clParse(linesToCLWithVars(theFacts, vars));

  print(theFacts);

  useFacts_cl(clUnparse(facts));

  //printNumberedLines(facts);

  firstRiddle();

  makeBotQuietly();

  //print("Type more questions if you like.\n");

  notDoneQuietly();

}

svoid firstRiddle {

  print();

  for (S rid : toLinesFullTrim(theRiddle)) {

    print("? " + rid);

    print("  " + answer(rid));

  }

  print();

}

static int webSize() { ret web.count(); }

sbool shouldSave(int webSize, bool checkInterval) {

  ret webSize != sizeSaved &&

    (!checkInterval || sysNow() >= lastSave+saveInterval);

}

svoid saveWeb(int webSize) {

  save("web");

  sizeSaved = webSize;

  lastSave = sysNow();

}

static S answer(S rid) {

  web.calculating = true;

  try {

    ret answerImpl(rid);

  } finally {

    web.calculating = false;

  }

}

static S answerImpl(S rid) {

  if (match("facts", rid)) { printNumberedLines(facts); ret "OK"; }

  if (match("web", rid)) { print(web); ret "OK"; }

  if (match("visualize", rid)) { webToCAL(web).show(); ret "OK"; }

  Web web = main.web;

  rid = addPrefix("Q: ", rid);

  Lisp riddle = clParse(englishToConceptLanguage(rid));

  //print("# " + riddle);

  // Create web

  if (clearWeb) web = new Web;

  createWeb(web, riddle);

  web.relations(facts);

  int webSize = web.count();

  int cursor = 0;

  while licensed {

    if (web.cancelled) ret "cancelled";

    //print("Web size: " + webSize);

    if (shouldSave(webSize, true)) {

      printWithoutNL("S");

      saveWeb(webSize);

    } else

      printWithoutNL(".");

    if ((++cursor % 60) == 0) print();

    CriticalAction action = beginCriticalAction("Web Update");

    try {

      calc(web, riddle);

    } finally {

      action.done();

    }

    int n = web.count();

    if (n == webSize) break;

    webSize = n;

  }

  print();

  // print question again

  if (cursor / 60 >= 10)

    print("? " + rid);

  // Answer question

  S s = getAnswer(web);

  s = or2(s, "I don't know");

  ret s;

}

svoid cleanMeUp {

  while (criticalActionsInFlight()) sleep(5);

  if (sizeSaved != web.count())

    save("web");

}

svoid reset {

  if (!confirmOKCancel("Really clear the brain?")) ret;

  web.cancelled = true;

  CriticalAction action = beginCriticalAction("Resetting Brain");

  try {

    web = new Web;

    sizeSaved = 0;

    save("web");

  } finally {

    action.done();

  }

  clearConsole();

  firstRiddle();

}