!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 conceptsUsed = [[
  zcprevyllqdmyvcn kjuwvfidiwmbjsuc xzhtvnqwzuuzixci
  mibnjwgfxnetaxyz cdtwmxtqspigpyap kdpoqkaoypqenusd
]];

static JTextArea ta;
static new L<Lisp> facts;

p-substance {
  aiEnhancements();
  
  L<AIConcept> usedConcepts = findAIConcepts(conceptsUsed);
  englishToConceptLanguage_concepts.set(usedConcepts);

  facts = clParse(linesToCL(theFacts));
  
  ta = showText("");
  onChangeAndNow(ta, r {
    fS text = getText(ta);
    thread { think(text); }

  });
  requestFocus(ta);
}

sS firstWord(S s) {
  if (empty(s)) ret "";
  if (isLetterOrDigit(first(s)))
    ret takeCharsWhile(s, f isLetterOrDigit);
  else ret "" + first(s);
}

svoid think(S text) {
  time {
    S w = firstWord(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);
  }
}

static L<S> sentencesToCL(S text) {
  ret listToCL(splitIntoSentences(text));
}
  
static L<S> linesToCL(S text) {
  ret listToCL(toLinesFullTrim(text));
}

static L<S> listToCL(L<S> l) {
  new L<S> out;
  for (S line : l) {
    S c = englishToConceptLanguage(line);
    print(line + " => " + c);
    out.add(c);
  }
  ret out;
}

// 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));
  new Best<S> best;
  for i over candidates: {
    S candidate = candidates.get(i);
    new Web web;
    web.newNode(pivot, candidate);
    for (Lisp fact : facts)
      web.relation(fact);
    int score = web_countConfirms(web, facts);
    if (score > 0)
      best.put(candidate, score);
  }
  ret best.get();
}