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!
Snippet is not live.
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #3000231 |
Snippet name: | Answer for stefanreich (>> log) |
Eternal ID of this version: | #3000231/1 |
Text MD5: | cae95d91e173df7fb4314ab844f1fbda |
Author: | someone |
Category: | |
Type: | New Tinybrain snippet |
Gummipassword: | eleutheria-for-user |
Uploaded from IP: | 69.10.46.185 |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2016-03-06 03:01:17 |
Source code size: | 15736 bytes / 191 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 500 / 115 |
Referenced in: | [show references] |