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)
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_1, is, greater, than, _2) :- native
No match for clause.
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_3, "=", all, theory, names) :- native
No match for clause.
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_4, is, less, than, _5) :- native
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))
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_9, "=", intmul, "()"("[]"(_10, ",", _11))) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_12, "=", intdiv, "()"("[]"(_13, ",", _14))) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_15, "=", intadd, "()"("[]"(_16, ",", _17))) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_18, "=", intminus, "()"("[]"(_19, ",", _20))) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_21, "=", tocons, "()"(_22)) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(mrshutco, is, a, human)
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
  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)
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_28, "=", intmul, "()"("[]"(_29, ",", _30))) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_31, "=", intdiv, "()"("[]"(_32, ",", _33))) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_34, "=", intadd, "()"("[]"(_35, ",", _36))) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_37, "=", intminus, "()"("[]"(_38, ",", _39))) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_40, "=", tocons, "()"(_41)) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(mrshutco, is, a, human)
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_42, "=", iter, "[]"(cons, _42, _43))
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_44, "=", iter, "[]"(cons, _45, _46)) :- "[]"(_44, "=", iter, _46)
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_47, "=", smartmul, "()"("[]"(_48, ",", _49))) :- "[]"(_47, "=", intmul, "()"("[]"(_48, ",", _49)))
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_50, "=", smartmul, "()"("[]"(_51, ",", _52))) :- "[]"(_51, "=", intdiv, "()"("[]"(_50, ",", _52)))
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_53, "=", smartmul, "()"("[]"(_54, ",", _55))) :- "[]"(_55, "=", intdiv, "()"("[]"(_53, ",", _54)))
   No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_56, "=", smartmul, "()"("[]"(_57, ",", _58))) :- "[]"(_56, "=", intmul, "()"("[]"(_57, ",", _58)))
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_59, "=", smartmul, "()"("[]"(_60, ",", _61))) :- "[]"(_60, "=", intdiv, "()"("[]"(_59, ",", _61)))
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_62, "=", smartmul, "()"("[]"(_63, ",", _64))) :- "[]"(_64, "=", intdiv, "()"("[]"(_62, ",", _63)))
  No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_65, "=", intmul, "()"("[]"(_66, ",", _67))) :- native
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_68, "=", intdiv, "()"("[]"(_69, ",", _70))) :- native
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_71, "=", intadd, "()"("[]"(_72, ",", _73))) :- native
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_74, "=", intminus, "()"("[]"(_75, ",", _76))) :- native
 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))
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_79, "=", intmul, "()"("[]"(_80, ",", _81))) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_82, "=", intdiv, "()"("[]"(_83, ",", _84))) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_85, "=", intadd, "()"("[]"(_86, ",", _87))) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_88, "=", intminus, "()"("[]"(_89, ",", _90))) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_91, "=", tocons, "()"(_92)) :- native
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(mrshutco, is, a, human)
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
  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)
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_98, "=", intmul, "()"("[]"(_99, ",", _100))) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_101, "=", intdiv, "()"("[]"(_102, ",", _103))) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_104, "=", intadd, "()"("[]"(_105, ",", _106))) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_107, "=", intminus, "()"("[]"(_108, ",", _109))) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_110, "=", tocons, "()"(_111)) :- native
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(mrshutco, is, a, human)
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_112, "=", iter, "[]"(cons, _112, _113))
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_114, "=", iter, "[]"(cons, _115, _116)) :- "[]"(_114, "=", iter, _116)
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_117, "=", smartmul, "()"("[]"(_118, ",", _119))) :- "[]"(_117, "=", intmul, "()"("[]"(_118, ",", _119)))
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_120, "=", smartmul, "()"("[]"(_121, ",", _122))) :- "[]"(_121, "=", intdiv, "()"("[]"(_120, ",", _122)))
   No match for clause.
     Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_123, "=", smartmul, "()"("[]"(_124, ",", _125))) :- "[]"(_125, "=", intdiv, "()"("[]"(_123, ",", _124)))
   No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_126, "=", smartmul, "()"("[]"(_127, ",", _128))) :- "[]"(_126, "=", intmul, "()"("[]"(_127, ",", _128)))
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_129, "=", smartmul, "()"("[]"(_130, ",", _131))) :- "[]"(_130, "=", intdiv, "()"("[]"(_129, ",", _131)))
  No match for clause.
    Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_132, "=", smartmul, "()"("[]"(_133, ",", _134))) :- "[]"(_134, "=", intdiv, "()"("[]"(_132, ",", _133)))
  No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false)
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(mrshutco, is, a, human)
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true)
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_135, "=", iter, "[]"(cons, _135, _136))
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_137, "=", iter, "[]"(cons, _138, _139)) :- "[]"(_137, "=", iter, _139)
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_140, "=", smartmul, "()"("[]"(_141, ",", _142))) :- "[]"(_140, "=", intmul, "()"("[]"(_141, ",", _142)))
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_143, "=", smartmul, "()"("[]"(_144, ",", _145))) :- "[]"(_144, "=", intdiv, "()"("[]"(_143, ",", _145)))
 No match for clause.
   Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_146, "=", smartmul, "()"("[]"(_147, ",", _148))) :- "[]"(_148, "=", intdiv, "()"("[]"(_146, ",", _147)))
 No match for clause.
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"("\"and\"", is, a, fill, word)
No match for clause.
  Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"("\",\"", is, a, fill, word)
No match for clause.
Done with goal!
Done with goal!