<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_s68ughpuf6ds9smvlfmlod22ho, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

cmodule Spike > DynPrintLog {
  start-thread {
    S program = [[
      import bool
      import or
      
      theory rules {
        on $x say $out
          & input matches $x => say $out
      
        on $x or $y say $out
          & ((input matches $x) | (input matches $y)) => say $out
      }
    ]];
    
    S input = "hello";
    
    PhilosophyBot1 bot = new(program);
    bot.autoOpenTheories();
    bot.addNativePredicate("input matches $x",
      map -> match(map.get("$x"), input));
    bot.addFact("on hello say yo");
    bot.run();
    assertTrue(bot.hasFact("say yo"));
  }
}