Starting on goal: Prolog$Goal(car=l("[]", Prolog$Var(id=0L, instance=r3), "is", "in", "list", l("[]", "a", ",", "b")))
  Trying clause: "[]"(_1, is, greater, than, _2) :- native
No match for clause.
  Trying clause: "[]"(_3, "=", all, theory, names) :- native
No match for clause.
  Trying clause: "[]"("\"and\"", is, a, fill, word)
No match for clause.
  Trying clause: "[]"("\",\"", is, a, fill, word)
No match for clause.
  Trying clause: "[]"(_4, is, in, list, _5) :- "[]"(_5, "=", tocons, "()"(_6)); "[]"(_4, "=", iter, _5)
New goal: "[]"("[]"(a, ",", b), "=", tocons, "()"(_6)); "[]"($x, "=", iter, "[]"(a, ",", b))
   Trying clause: "[]"(_7, "=", intmul, "()"("[]"(_8, ",", _9))) :- native
 No match for clause.
   Trying clause: "[]"(_10, "=", intdiv, "()"("[]"(_11, ",", _12))) :- native
 No match for clause.
   Trying clause: "[]"(_13, "=", intadd, "()"("[]"(_14, ",", _15))) :- native
 No match for clause.
   Trying clause: "[]"(_16, "=", intminus, "()"("[]"(_17, ",", _18))) :- native
 No match for clause.
   Trying clause: "[]"(_19, "=", tocons, "()"(_20)) :- native
 Native clause fails
   Trying clause: "[]"(_21, "=", smartmul, "()"("[]"(_22, ",", _23))) :- "[]"(_21, "=", intmul, "()"("[]"(_22, ",", _23)))
 No match for clause.
   Trying clause: "[]"(_24, "=", smartmul, "()"("[]"(_25, ",", _26))) :- "[]"(_25, "=", intdiv, "()"("[]"(_24, ",", _26)))
 No match for clause.
   Trying clause: "[]"(_27, "=", smartmul, "()"("[]"(_28, ",", _29))) :- "[]"(_29, "=", intdiv, "()"("[]"(_27, ",", _28)))
 No match for clause.
   Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
 No match for clause.
   Trying clause: "[]"(mrshutco, is, a, human)
 No match for clause.
   Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
 No match for clause.
Done with goal!