!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();

  }

}