<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_jknem7ch1iijgqb5ohmgouleu2, 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 />
cmodule NewEngineSpike > DynPrintLog {
  transient new DeepZipTools tools;
  transient new L<BasicLogicRule> rules;
  transient SS functions = litmap_keysLikeValues(f ewic_notSame);
  
  start-thread {
    S ruleDef = [[hasWord($x) & ewic_notSame($x, "zimmer") => $x ist ein Zimmer]];
    // rewritten to: for $x where hasWord($x): ewic_notSame($x, "zimmer") => $x ist ein Zimmer

    BasicLogicRule rule = ai_newEngine_parseRule(ruleDef, tools);
    ForWhere fw = cast ai_lhsToForWhere(rule, tools);
    print(fw);
    
    stepAll(new AI_ExecuteSimpleForWhere(tools,
      r -> rules.add(print(r)),
      f -> eq(f, "hasWord") ? ll("bla", "Wohnzimmer") : null,
      fw));
    
    for (BasicLogicRule r : rules)
      if (isTrue(ai_evalFunctionCallLHS(r, mapToIF1(functions))))
        print(r.rhs);
    }
  }