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!