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

Began life as a copy of #1025598