Warning: session_start(): open(/var/lib/php/sessions/sess_q1n99kh8mabooe77i7vute2j5m, 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
Starting on goal: Prolog$Goal(car=Prolog$Var(id=0L, instance=r2)) Trying clause: nativeTest2 :- native SUCCESS! Trying clause: nativeFail :- native Native clause fails Trying clause: "[]"(_1, "=", intmul, "()"("[]"(_2, ",", _3))) :- native Exception in native: java.lang.NumberFormatException: For input string: "___" Native clause fails Trying clause: "[]"(_4, "=", intdiv, "()"("[]"(_5, ",", _6))) :- native Exception in native: java.lang.NumberFormatException: For input string: "___" Native clause fails Trying clause: "[]"(_7, "=", intadd, "()"("[]"(_8, ",", _9))) :- native Exception in native: java.lang.NumberFormatException: For input string: "___" Native clause fails Trying clause: "[]"(_10, "=", intminus, "()"("[]"(_11, ",", _12))) :- native Exception in native: java.lang.NumberFormatException: For input string: "___" Native clause fails Trying clause: "[]"(_13, is, greater, than, _14) :- native Exception in native: java.lang.NumberFormatException: For input string: "___" Native clause fails Trying clause: "[]"(head, _15, exists, in, theory, _16) :- native Exception in native: java.lang.NullPointerException Native clause fails Trying clause: "[]"(_17, "=", all, theory, names) :- native SUCCESS!