!7 cmodule PhilosophyBot extends DynPrintLog { transient S program = [[ "memory" memory can mean RAM RAM has a size I have RAM input is x & x can mean y => pretend (input is y) input is x => activate facts containing x I have x => Ask something about (my x) // General patterns in flight now: // my * // Ask something about * // pretend * // input is * // (and more) Procedures ---------- Ask something about x { if (x exists): ask (what is x?) else: ask (does x exist?) for (y | x has a y): assume ((the y of my x) exists) ask something about (the y of my x) } the answer to x is y => the answer to x is known ask a & the answer to x is known => don't (ask a) Ask x { print x on input: if (input is a valid answer to x): store (the answer to x is input) } (x exists) is a valid answer to (does x exist) (x doesn't exist) is a valid answer to (does x exist) (x is y) is a valid answer to (what is x) ]]; transient new LS facts; void addFact(S fact) { print("Got fact: " + fact); facts.add(fact); } start-thread { // split into paragraphs and unindent LS paragraphs = map autoUnindent(map rtrim(splitAtEmptyLines(program))); print("Got " + n2(paragraphs, "parapraph")); // print the parapraphs print(joinWithEmptyLines(map(s -> indentx("> ", s), paragraphs))); // throw away comment-only and quoted paragraphs (assume it's a title) LS paragraphs2 = antiFilter(paragraphs, s -> isSingleLine(trim(s)) && isQuoted(trim(s)) || countJavaTokens(s) == 0 || endsWith(rtrim(s), "----")); print("Got " + n2(paragraphs2, "filtered paragraph")); print(joinWithEmptyLines(map(s -> indentx("> ", s), paragraphs2))); // find fact paragraphs print(map allLinesAreUnindented(paragraphs2)); Pair p = filterAntiFilter(s -> !isSingleLine(trim(s)) && allLinesAreUnindented(s), paragraphs2); LS multiFactParagraphs = p.a, paragraphs3 = p.b; for (S para : multiFactParagraphs) for (S s : tlft(para)) addFact(s); } }