!7 cmodule PhilosophyBot2 extends DynPrintLog { transient L unmappedLines = ll("good", "early morning"); transient L unmappedQuestions = ll("what is the time", "how do you feel"); transient SS mappings = ciMap(); transient S program = [[ funnyAlgorithm funnyAlgorithm => proc { while (there are unmapped questions): find (an unmapped question) x find (an unmapped line) y map x to y } ]]; transient new PhilosophyBot1 bot; start-thread { bot.program = program; bot.addNativePredicate("there are unmapped questions", () -> nempty(unmappedQuestions)); bot.addNativePredicate("find (an unmapped question) x", () -> { print("find unmapped question x"); if (empty(unmappedQuestions)) false; ret litcimap(x := random(unmappedQuestions)); }); bot.addNativePredicate("find (an unmapped line) z", () -> { print("find unmapped line z"); if (empty(unmappedLines)) false; ret litcimap(z := random(unmappedLines)); }); bot.addNativePredicate("map x to y", (SS map) -> { S x = map.get("x"), y = map.get("y"); unmappedQuestions.remove(x); unmappedLines.remove(y); print("Remaining unmapped questions: " + l(unmappedQuestions)); mappings.put(x, y); print("Mapped question " + quote(x) + " to answer " + quote(y)); true; }); bot.run(); } }