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("[]", "true", "xor", "false"))
Goal arity 3: "[]"(true, xor, false)
  Goal: "[]"(true, xor, false). Trying clause: "[]"(_1, xor, _2) :- "[]"(_1, and, not, "()"(_2)); "[]"(_1, xor, _2); "[]"(not, "()"(_1), and, _2)
  Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false)
  gdash: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false)
Goal arity 4: "[]"(true, and, not, "()"(false))
New goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false)
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_3, "=", intmul, "()"("[]"(_4, ",", _5))) :- native
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_6, "=", intdiv, "()"("[]"(_7, ",", _8))) :- native
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_9, "=", intadd, "()"("[]"(_10, ",", _11))) :- native
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_12, "=", intminus, "()"("[]"(_13, ",", _14))) :- native
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_15, "=", tocons, "()"(_16)) :- native
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(mrshutco, is, a, human)
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_17, "=", iter, "[]"(cons, _17, _18))
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_19, "=", iter, "[]"(cons, _20, _21)) :- "[]"(_19, "=", iter, _21)
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_22, "=", smartmul, "()"("[]"(_23, ",", _24))) :- "[]"(_22, "=", intmul, "()"("[]"(_23, ",", _24)))
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_25, "=", smartmul, "()"("[]"(_26, ",", _27))) :- "[]"(_26, "=", intdiv, "()"("[]"(_25, ",", _27)))
 No match for clause.
   Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_28, "=", smartmul, "()"("[]"(_29, ",", _30))) :- "[]"(_30, "=", intdiv, "()"("[]"(_28, ",", _29)))
 No match for clause.
  Goal: "[]"(true, xor, false). Trying clause: "[]"(_31, and, _32) :- _31; _32
No match for clause.
  Goal: "[]"(true, xor, false). Trying clause: "[]"(lasagna, is, tasty)
No match for clause.
  Goal: "[]"(true, xor, false). Trying clause: "[]"(_33, in, _34) :- "[]"(_34, "=", tocons, "()"(_35)); "[]"(_33, "=", iter, _34)
No match for clause.
  Goal: "[]"(true, xor, false). Trying clause: "[]"(_36, or, _37) :- _36
No match for clause.
  Goal: "[]"(true, xor, false). Trying clause: "[]"(_38, or, _39) :- _39
No match for clause.
Done with goal!