!7

cmodule TestPhilosophyEngine > DynPrintLog {
  sS program = [[
    program (
      count
    
      count => proc {
        while (i < 100):
          inc i
      }
    ) with declarations (transient int i;)
      and init code (
        bot.addNativePredicate("i < 100",
        () -> i < 100);
        bot.addNativePredicate("inc i",
          () -> {
            ++i;
            print("Incremented i to " + i);
            true;
          });
    ) should end with (i == 100)
  ]];

  start-thread {
    new PhilosophyBot1 main;
    main.program = program;
    main.run();
    pnl(main.facts);

    for (SS map : main.listFactsMatching(
      [[ program var_p
         with declarations var_d
         and init code var_i
         should end with var_c
      ]])) {
      S program = map.get("var_p"), declarations = map.get("var_d"),
        initCode = map.get("var_i"), endCondition = map.get("var_c");
      printVars(+program, +endCondition);
    }
  }
}