<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_tj63kgo0rbnpu84cv2i0cqai99, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

cmodule AIPackagesSpike > DynTextArea {
  transient PhilosophyBot1 bot;
  transient Scorer scorer;
  S verificationResult;

  start {
    grabInterval = 1.0;
    dm_onFieldChangeAndNow text(r compute);
  }

  void compute q {
    S input = getText();
    TreeMap<S> sections = asCIMap(underlinedHeadingSections(input));
    LS tests = nempties(itemPlusList(getAny(sections, "", "test"),
      valuesForKeysStartingWith(sections, "test ")));
    print("Have " + nTests(tests));
    S solutionText = sections.get("Example solution");
    scorer = new Scorer;
    for (S testText : tests)
      scorer.add(testSolution(testText, solutionText));
    setField(verificationResult := str(scorer));
    print(scorer);
  }

  bool testSolution(S testText, S solutionText) {
    MultiMap<S> testPairs = parseColonPropertyCIMultiMap(testText);
    MultiMap<S> solutionPairs = parseColonPropertyCIMultiMap_honorBrackets(solutionText);

    // facts
    LS qs = testPairs.get("Q");
    Cl<S> facts = concatLists(
      testPairs.get("Fact"),
      qs,
      solutionPairs.get("Fact"),
      map(qs, q -> format_quoteAll("input is *", q)));

    // get patterns from rules

    Cl<S> rules = solutionPairs.get("Rule");
    pnl("RULES> ", rules);
    bot = new PhilosophyBot1(joinWithEmptyLines(rules));
    philosophyBot_autoJava(bot);
    pb_enableAutoPatterns(bot);

    // add facts to bot, calculate
    
    S program = joinWithEmptyLines(facts);
    printWithIndent("PROGRAM> ", program);
    bot.loadProgram(program);
    bot.run();

    // Check answer
    Set<S> wantedAnswers = mapToCISet dropPunctuation(testPairs.get("A"));
    Set<S> unwantedAnswers = mapToCISet dropPunctuation(testPairs.get("Not an answer"));
    pnl(+wantedAnswers);
    pnl(+unwantedAnswers);

    bool good = listAndSetIntersect(bot.deducedFacts(), wantedAnswers);
    bool bad = listAndSetIntersect(bot.deducedFacts(), unwantedAnswers);
    if (bad)
      ret false with print("BAD answer!");
    if (good)
      ret true with print("OK!");
    ret false with print("No answer...");
  }

  void saveIt enter {
    dm_call(dm_aiPackagesCRUD(), 'storeAIPackage, getText(), verificationResult);
    infoBox("Stored. Total number of AI packages: " + dm_rcall conceptCount(dm_aiPackagesCRUD()));
  }

  visual
    withMargin(withCenteredButtons(
      jvsplit(super, dm_printLogComponent()),
      "Compute", rThread compute,
      "Save", rThread saveIt));
}