!759

static S codeSnippetID = "#1002758";

static Lisp code;

static new L<Lisp> memory;

static LogicEngine engine;

!include #1002759 // LogicEngine

static class MyEngine extends LogicEngine {

  *(Lisp code, L<Lisp> memory) {

    super(code, memory);

  }

  public boolean yo(Lisp snl, SNLMatches m) {

    if (super.yo(snl, m))

      ret true;

    new SNLMatches mInner;

    if (snlMatch2("[the > length < of < string < S] < is < L < characters", snl, mInner)) { // TODO: variable renaming?

      S s = snlGetString(mInner.map, "S");

      putMatchX(m.map, mInner.map, "L", lstr(s));

      ret true;

    }

    ret false;

  }

}

p {

  code = snlToTree(loadSnippet(codeSnippetID));

  print(getProgramID() + ": parse result = " + code);

  load("memory");

}

synchronized answer {

  if (!attn()) ret null;

  if (match("log " + parseSnippetID(programID()), s))

    ret engine == null ? "nullie haven't run yet": slackSnippet(fromLines(engine.log));

  if (match("memory " + parseSnippetID(programID()), s))

    ret slackSnippet(snlAllToText(memory));

  // convert to SNL first

  s = or((S) callOpt/*Safe*/(getBot ("#1002700"), "naiveSNL", s), s);

  Lisp in = snlToTree(s);

  Lisp statement = snlToTree("user < says < [" + snlFromTree(in) + "]");

  engine = new MyEngine(code, memory) {

    void saveMemory() {

      save("memory");

    }

  };

  engine.stmAdd(statement);

  L<Lisp> out = engine.run();

  if (nempty(out))

    ret "[SNL: " + snlFromTree(in) + "])\n" + snlAllToText(out);

}

static Lisp quickrun(L<Lisp> memory, S userInput) {

  engine = new LogicEngine(code, memory);

  Lisp statement = snlToTree("user < says < [" + userInput + "]");

  engine.stmAdd(statement);

  ret snlMakeJuxta(engine.run());

}