<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_oht8ecm4gkc974v63j8p2makqk, 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 > DynPrintLog {
  S input = [[
    Test
    ----
    
    Fact: A gazelle is fast
    Q: Is a gazelle slow?
    
    A: No
    A: No, it is fast
    A: No, it's fast
    A: No, a gazelle is fast
    A: No, fast
    A: No, it's fast, not slow

    Not an answer: Yes
    
    Example solution
    ----------------
    
    Fact: Fast is not slow
    Rule: Y is not Z => Z is not Y
    Rule: a X is Y & Y is not Z => a X is not Z
    Rule: is X Y? & X is not Y => no
  ]];

  transient PhilosophyBot1 bot;

  start-thread {
    dm_reloadOnFieldChange input();
    SS sections = asCIMap(underlinedHeadingSections(input));
    S testText = sections.get("test");
    S solutionText = sections.get("Example solution");
    
    MultiMap<S> testPairs = parseColonPropertyCIMultiMap(testText);
    MultiMap<S> solutionPairs = parseColonPropertyCIMultiMap(solutionText);

    // ungrouped facts
    Cl<S> facts = concatLists(
      testPairs.get("Fact"),
      testPairs.get("Q"),
      solutionPairs.get("Fact"));

    // get patterns from rules

    Cl<S> rules = solutionPairs.get("Rule");
    pnl("RULES> ", rules);
    bot = new PhilosophyBot1(joinWithEmptyLines(rules));

    // make bot group all facts
    
    bot.parseProgram();
    Cl<S> patterns = philosophyBot_allLHSAsStarPatterns(bot);
    pnl("PATTERN> ", patterns);
    bot.addCodeOnFact(s -> bot.addFacts(dm_topDownParseToGroupings(s, patterns)));

    // add grouped 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 (good) print("OK!"); else if (bad) print("BAD answer!"); else print("No answer...");
  }
}