Warning: session_start(): open(/var/lib/php/sessions/sess_pf31njg3jjq0mt29odtp9cqa0i, 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
svoid test_ai_ruleOfThree_3() {
test_ai_ruleOfThree_3(lambda2 ai_ruleOfThree_solver_1);
}
svoid test_ai_ruleOfThree_3(IF2 f) {
S db = [[
Solar Powered Air Conditioner! => an air conditioner powered by solar
pedal powered air conditioner => an air conditioner powered by pedal
gravity powered machine => a machine powered by gravity
]];
L> l = parseLogicRules_tlft(db);
for (BasicLogicRule r : l)
testFunctionValue(f, first(tlft(db)), r.lhs, r.rhs);
}