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): "[]"(if, "[]"($x, and, "[]"(not, "()"($y))), then, "[]"($x, xor, $y)) => [l("if *", l("[]", "$x", "and", l("[]", "not", l("()", "$y")))), l("then *", l("[]", "$x", "xor", "$y"))]
clause(Lisp): "[]"(if, "[]"("[]"(not, "()"($x)), and, $y), then, "[]"($x, xor, $y)) => [l("if *", l("[]", l("[]", "not", l("()", "$x")), "and", "$y")), l("then *", l("[]", "$x", "xor", "$y"))]
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("[]", Prolog$Var(id=0L, instance=r3), "is", "in", "list", "yes"))
Goal arity 5: "[]"($x, is, in, list, yes)
No match for clause.
No match for clause.
No match for clause.
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_6, is, in, list, _7) :- "[]"(_8, "=", tocons, "()"(_7)); "[]"(_6, "=", iter, _8)
  Clause unifies to: "[]"($x, is, in, list, yes) :- "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8)
  gdash: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8)
Goal arity 4: "[]"(_8, "=", tocons, "()"(yes))
New goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8)
 native!
Goal arity 4: "[]"($x, "=", iter, "[]"(cons, yes, end))
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_23, "=", iter, "[]"(cons, _23, _24))
    Clause unifies to: "[]"(yes, "=", iter, "[]"(cons, yes, end))
    gdash: null
SUCCESS!
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_25, "=", iter, "[]"(cons, _26, _27)) :- "[]"(_25, "=", iter, _27)
    Clause unifies to: "[]"($x, "=", iter, "[]"(cons, yes, end)) :- "[]"($x, "=", iter, end)
    gdash: "[]"($x, "=", iter, end)
Goal arity 4: "[]"($x, "=", iter, end)
  New goal: "[]"($x, "=", iter, end)
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
 No match for clause.
 No match for clause.
 No match for clause.
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_77, "=", tocons, "()"(_78)) :- native
   Clause unifies to: "[]"(_8, "=", tocons, "()"(yes)) :- native
  Clause is native.
   gdash: "[]"($x, "=", iter, "[]"(cons, yes, end))
Goal arity 4: "[]"($x, "=", iter, "[]"(cons, yes, end))
 New goal: "[]"($x, "=", iter, "[]"(cons, yes, end))
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_93, "=", iter, "[]"(cons, _93, _94))
    Clause unifies to: "[]"(yes, "=", iter, "[]"(cons, yes, end))
    gdash: null
SUCCESS!
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_95, "=", iter, "[]"(cons, _96, _97)) :- "[]"(_95, "=", iter, _97)
    Clause unifies to: "[]"($x, "=", iter, "[]"(cons, yes, end)) :- "[]"($x, "=", iter, end)
    gdash: "[]"($x, "=", iter, end)
Goal arity 4: "[]"($x, "=", iter, end)
  New goal: "[]"($x, "=", iter, end)
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
   No match for clause.
  No match for clause.
  No match for clause.
  No match for clause.
 No match for clause.
 No match for clause.
 No match for clause.
 No match for clause.
 No match for clause.
 No match for clause.
 No match for clause.
 No match for clause.
No match for clause.
No match for clause.
Done with goal!
Done with goal!