Warning: session_start(): open(/var/lib/php/sessions/sess_7fu5o3ovuob08m9q6abdg9u2mn, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sbool ai_deriveOutput_debug;
static Set ai_deriveOutput(L rules, LS facts) {
final new NLLogicChecker_v3 c;
c.facts = facts;
c.rules = rules;
final new NLLogicChecker_v2.Matching m;
final new LinkedHashSet out;
for (final IfThen rule : nlLogic_filterByRHSConstructs(rules, 'output)) {
if (ai_deriveOutput_debug)
print("ai_deriveOutput: Checking " + rule);
c.iterate(rule.in, m, r {
if (ai_deriveOutput_debug)
print("Got matches: " + sfu(m.matches));
for (Exp e : nlLogic_unrollAnd(rule.out)) {
if (e cast Func)
if (eq(e.name, "output"))
continue with out.add(nlLogic_text(c.apply(e.arg, m)));
if (c.checkHelper(e, m))
continue;
print("Ignoring unknown RHS element: " + e);
}
});
}
ret out;
}