<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_6id7sss5p932fua3084gmfgegu, 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

sS theRiddle = [[

  X is the first word in my text.
  Is my text a letter or a program?
  
]];

sS theFacts = [[

  "!" is a typical first word in a program.
  "Hello" is a typical first word in a letter.
  cdtwmxtqspigpyap confirms mibnjwgfxnetaxyz.
  
]];

sS concepts = [[
  ["zcprevyllqdmyvcn", "Is X a Y or a Z?"],
  ["kjuwvfidiwmbjsuc", "program"],
  ["xzhtvnqwzuuzixci", "letter"],
  ["mibnjwgfxnetaxyz", "X is the first word in Y."],
  ["cdtwmxtqspigpyap", "X is a typical first word in a Y."],
  ["kdpoqkaoypqenusd", "X confirms Y."]
]];

sS conceptsUsed = [[
  zcprevyllqdmyvcn kjuwvfidiwmbjsuc xzhtvnqwzuuzixci
  mibnjwgfxnetaxyz cdtwmxtqspigpyap kdpoqkaoypqenusd
]];

static JTextArea ta;
static new L<Lisp> facts;
static ReliableSingleThread computer = new ReliableSingleThread(f think);

p-substance {
  aiEnhancements();
  
  L<AIConcept> usedConcepts = conceptsFromDump(concepts);
  //L<AIConcept> usedConcepts = findAIConcepts(conceptsUsed);
  dumpConcepts2(usedConcepts);
  englishToConceptLanguage_concepts_global = usedConcepts;

  facts = clParse(linesToCL(theFacts));
  
  ta = showText("");
  onChangeAndNow(ta, r { computer.go() });
  hideConsole();
}

svoid think {
  time {
    S text = getText(ta);
    S w = firstWord2(text);
    S riddle = formatXYZ(theRiddle, quote(w));
    //print(riddle);
    L<Lisp> localFacts = concatLists(facts,
      clParse(sentencesToCL(riddle)));
    
    S answer = solveRiddle(localFacts);
    S type = conceptToName(answer);
    print("Answer: " + or2(type, "?"));
    titleStatus_trailing(ta, empty(type) ? null : "Writing a " + type);
  }
}

// returns concept ID or null
static S solveRiddle(L<Lisp> facts) {
  // Find the question
  Lisp q = findHead(facts, "zcprevyllqdmyvcn");
  if (q == null) fail("No question found");
  S pivot = q.s(0);
  L<S> candidates = ll(q.s(1), q.s(2));
  ret web_candidateWithMostConfirms(facts, pivot, candidates);
}