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!