<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_cbq7oa7504h7v9gnllq99fb5k5, 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 />
!include once #1027630 // Msg

replace LogicRule with BasicLogicRule.

cmodule NewEngineSpike > DynPrintLog {
  L<Msg> msgs;
  bool verbose = true, printNonMatches = true;
  
  start-thread {
    if (empty(msgs))
      setField(msgs := mainCruddieLog());
    print("Have " + nMessages(msgs));
    pnlStruct(takeFirst(2, msgs));
    L<Msg> msgs2 = whereFieldIsTrue fromUser(msgs);
    new L props;
    for (Msg msg : takeFirst(5, msgs2))
      print(addAndReturn(props, ll(msg, "was understood correctly")));
    props.add(print(ll(get(msgs2, 5), "is a wrong recognition")));

    LogicRule rule = new(
      ll("$x", "is a wrong recognition"),
      ll("$x", "should be corrected"));

    for (O prop : props)
      applyLogicRuleToFact(rule, prop);
  }

  // use standard deep-zip & replace utils
  Map deepZip(O a, O b) { ret newGazelle_deepZip1(a, b); }
  O replaceVars(O o, Map map) { ret replaceVars_understandsTransformableAndList(o, map); }

  // define what a variable is
  bool isVar(O o) { ret o instanceof S && isDollarVar(o/S); }

  void applyLogicRuleToFact(LogicRule rule, O fact) {
    new LogicRuleApplier ap;
    ap.rule = rule;
    ap.fact = fact;
    ap.verbose = verbose;
    ap.printNonMatches = printNonMatches;
    ap.isVar = lambda1 isVar;
    ap.deepZip = lambda2 deepZip;
    ap.replaceVars = lambda2 replaceVars;
    ap.addRewrittenRHS = lambda2 addRewrittenRHS;
    ap.run();
  }

  void addRewrittenRHS(O rhs, O trail) {
    print("Derived: " + rhs);
  }
}