clause(Lisp): "[]"(if, "[]"($x, and, not, "()"($y)), then, "[]"($x, xor, $y), if, "[]"(not, "()"($x), and, $y), then, "[]"($x, xor, $y)) => [l("if *", l("[]", "$x", "and", "not", l("()", "$y"))), l("then *", l("[]", "$x", "xor", "$y")), l("if *", l("[]", "not", l("()", "$x"), "and", "$y")), l("then *", l("[]", "$x", "xor", "$y"))]
clause(Lisp): "[]"("[]"(not, "()"(true)), should, be, false) => null
clause(Lisp): "[]"(mrshutco, is, a, human) => [l("mrshutco *", "is"), l("a *", "human")]
clause(Lisp): "[]"("[]"(not, "()"(false)), should, be, true) => null
clause(Lisp): "[]"(if, $x, and, "!", and, false, then, "[]"(not, "()"($x))) => [l("if *", "$x"), l("and *", "!"), l("and *", "false"), l("then *", l("[]", "not", l("()", "$x")))]
clause(Lisp): "[]"(not, "()"($x)) => [l("not *", l("()", "$x"))]
clause(Lisp): "[]"(if, $a, and, $b, then, "[]"($a, and, $b)) => [l("if *", "$a"), l("and *", "$b"), l("then *", l("[]", "$a", "and", "$b"))]
clause(Lisp): "[]"(if, "[]"($c, "=", tocons, "()"($list)), and, "[]"($e, "=", iter, $c), then, "[]"($e, is, in, list, $list)) => [l("if *", l("[]", "$c", "=", "tocons", l("()", "$list"))), l("and *", l("[]", "$e", "=", "iter", "$c")), l("then *", l("[]", "$e", "is", "in", "list", "$list"))]
clause(Lisp): "[]"(lasagna, is, tasty) => null
clause(Lisp): "[]"(if, "[]"($c, "=", tocons, "()"($list)), and, "[]"($e, "=", iter, $c), then, "[]"($e, in, $c)) => [l("if *", l("[]", "$c", "=", "tocons", l("()", "$list"))), l("and *", l("[]", "$e", "=", "iter", "$c")), l("then *", l("[]", "$e", "in", "$c"))]
clause(Lisp): "[]"(if, $a, then, "[]"($a, or, $b)) => [l("if *", "$a"), l("then *", l("[]", "$a", "or", "$b"))]
clause(Lisp): "[]"(if, $b, then, "[]"($a, or, $b)) => [l("if *", "$b"), l("then *", l("[]", "$a", "or", "$b"))]
clause(Lisp): "[]"($head, "=", iter, "[]"(cons, $head, $tail)) => null
clause(Lisp): "[]"(if, "[]"($x, "=", iter, $tail), then, "[]"($x, "=", iter, "[]"(cons, $head, $tail))) => [l("if *", l("[]", "$x", "=", "iter", "$tail")), l("then *", l("[]", "$x", "=", "iter", l("[]", "cons", "$head", "$tail")))]
clause(Lisp): "[]"(if, $x, then, "[]"(verify, "[]"($x, should, be, true))) => [l("if *", "$x"), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "true")))]
clause(Lisp): "[]"(if, "[]"($a, "=", intmul, "()"("[]"($b, ",", $c))), then, "[]"($a, "=", smartmul, "()"("[]"($b, ",", $c)))) => [l("if *", l("[]", "$a", "=", "intmul", l("()", l("[]", "$b", ",", "$c")))), l("then *", l("[]", "$a", "=", "smartmul", l("()", l("[]", "$b", ",", "$c"))))]
clause(Lisp): "[]"(if, "[]"($b, "=", intdiv, "()"("[]"($a, ",", $c))), then, "[]"($a, "=", smartmul, "()"("[]"($b, ",", $c)))) => [l("if *", l("[]", "$b", "=", "intdiv", l("()", l("[]", "$a", ",", "$c")))), l("then *", l("[]", "$a", "=", "smartmul", l("()", l("[]", "$b", ",", "$c"))))]
clause(Lisp): "[]"(if, "[]"($c, "=", intdiv, "()"("[]"($a, ",", $b))), then, "[]"($a, "=", smartmul, "()"("[]"($b, ",", $c)))) => [l("if *", l("[]", "$c", "=", "intdiv", l("()", l("[]", "$a", ",", "$b")))), l("then *", l("[]", "$a", "=", "smartmul", l("()", l("[]", "$b", ",", "$c"))))]
clause(Lisp): "[]"(if, "[]"(not, "()"($x)), then, "[]"(verify, "[]"($x, should, be, false))) => [l("if *", l("[]", "not", l("()", "$x"))), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "false")))]
clause(Lisp): "[]"(if, $x, then, "()"($x)) => [l("if *", "$x"), l("then *", l("()", "$x"))]
clause(Lisp): "[]"("\"and\"", is, a, fill, word) => null
clause(Lisp): "[]"("\",\"", is, a, fill, word) => null
clause(Lisp): "[]"(feet, is, the, plural, of, foot) => [l("feet *", "is"), l("the *", "plural"), l("of *", "foot")]
clause(Lisp): "[]"(bits, is, the, plural, of, bit) => [l("bits *", "is"), l("the *", "plural"), l("of *", "bit")]
Starting on goal: Prolog$Goal(car=l("[]", "not", l("()", l("[]", "true", "or", "true"))))
Goal arity 2: "[]"(not, "()"("[]"(true, or, true)))
  Head goal: "[]"(not, "()"("[]"(true, or, true))). Trying clause: "[]"(not, "()"(_1)) :- _1; "!"; false
 Clause unifies.
Weird: Goal is variable
New goal: "[]"(true, or, true); "!"; false
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: nativeTest2 :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: nativeFail :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_2, "=", intmul, "()"("[]"(_3, ",", _4))) :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_5, "=", intdiv, "()"("[]"(_6, ",", _7))) :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_8, "=", intadd, "()"("[]"(_9, ",", _10))) :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_11, "=", intminus, "()"("[]"(_12, ",", _13))) :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_14, is, greater, than, _15) :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(head, _16, exists, in, theory, _17) :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_18, "=", all, theory, names) :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_19, "=", tocons, "()"(_20)) :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_21, is, less, than, _22) :- native
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_23, xor, _24) :- "[]"(_23, and, not, "()"(_24)); "[]"(_23, xor, _24); "[]"(not, "()"(_23), and, _24)
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(mrshutco, is, a, human)
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(not, "()"(_25)) :- _25; "!"; false
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(not, "()"(_26))
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_27, and, _28) :- _27; _28
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_29, is, in, list, _30) :- "[]"(_31, "=", tocons, "()"(_30)); "[]"(_29, "=", iter, _31)
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(lasagna, is, tasty)
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_32, in, _33) :- "[]"(_33, "=", tocons, "()"(_34)); "[]"(_32, "=", iter, _33)
 No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_35, or, _36) :- _35
  Clause unifies.
Weird: Goal is variable
 New goal: true
  native!
    Head goal: true. Trying clause: nativeTest2 :- native
  No match for clause.
    Head goal: true. Trying clause: nativeFail :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(_37, "=", intmul, "()"("[]"(_38, ",", _39))) :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(_40, "=", intdiv, "()"("[]"(_41, ",", _42))) :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(_43, "=", intadd, "()"("[]"(_44, ",", _45))) :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(_46, "=", intminus, "()"("[]"(_47, ",", _48))) :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(_49, is, greater, than, _50) :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(head, _51, exists, in, theory, _52) :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(_53, "=", all, theory, names) :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(_54, "=", tocons, "()"(_55)) :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(_56, is, less, than, _57) :- native
  No match for clause.
    Head goal: true. Trying clause: "[]"(_58, xor, _59) :- "[]"(_58, and, not, "()"(_59)); "[]"(_58, xor, _59); "[]"(not, "()"(_58), and, _59)
  No match for clause.
    Head goal: true. Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
  No match for clause.
    Head goal: true. Trying clause: "[]"(mrshutco, is, a, human)
  No match for clause.
    Head goal: true. Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
  No match for clause.
    Head goal: true. Trying clause: "[]"(not, "()"(_60)) :- _60; "!"; false
  No match for clause.
    Head goal: true. Trying clause: "[]"(not, "()"(_61))
  No match for clause.
    Head goal: true. Trying clause: "[]"(_62, and, _63) :- _62; _63
  No match for clause.
    Head goal: true. Trying clause: "[]"(_64, is, in, list, _65) :- "[]"(_66, "=", tocons, "()"(_65)); "[]"(_64, "=", iter, _66)
  No match for clause.
    Head goal: true. Trying clause: "[]"(lasagna, is, tasty)
  No match for clause.
    Head goal: true. Trying clause: "[]"(_67, in, _68) :- "[]"(_68, "=", tocons, "()"(_69)); "[]"(_67, "=", iter, _68)
  No match for clause.
    Head goal: true. Trying clause: "[]"(_70, or, _71) :- _70
  No match for clause.
    Head goal: true. Trying clause: "[]"(_72, or, _73) :- _73
  No match for clause.
    Head goal: true. Trying clause: "[]"(_74, "=", iter, "[]"(cons, _74, _75))
  No match for clause.
    Head goal: true. Trying clause: "[]"(_76, "=", iter, "[]"(cons, _77, _78)) :- "[]"(_76, "=", iter, _78)
  No match for clause.
    Head goal: true. Trying clause: "[]"(verify, "[]"(_79, should, be, true)) :- _79
  No match for clause.
    Head goal: true. Trying clause: "[]"(_80, "=", smartmul, "()"("[]"(_81, ",", _82))) :- "[]"(_80, "=", intmul, "()"("[]"(_81, ",", _82)))
  No match for clause.
    Head goal: true. Trying clause: "[]"(_83, "=", smartmul, "()"("[]"(_84, ",", _85))) :- "[]"(_84, "=", intdiv, "()"("[]"(_83, ",", _85)))
  No match for clause.
    Head goal: true. Trying clause: "[]"(_86, "=", smartmul, "()"("[]"(_87, ",", _88))) :- "[]"(_88, "=", intdiv, "()"("[]"(_86, ",", _87)))
  No match for clause.
    Head goal: true. Trying clause: "[]"(verify, "[]"(_89, should, be, false)) :- "[]"(not, "()"(_89))
  No match for clause.
    Head goal: true. Trying clause: "()"(_90) :- _90
  No match for clause.
    Head goal: true. Trying clause: "[]"("\"and\"", is, a, fill, word)
  No match for clause.
    Head goal: true. Trying clause: "[]"("\",\"", is, a, fill, word)
  No match for clause.
    Head goal: true. Trying clause: "[]"(feet, is, the, plural, of, foot)
  No match for clause.
    Head goal: true. Trying clause: "[]"(bits, is, the, plural, of, bit)
  No match for clause.
   Head goal: "[]"(true, or, true); "!"; false. Trying clause: "[]"(_91, or, _92) :- _92
  Clause unifies.
Weird: Goal is variable
 New goal: true
  native!