1 | |
2 | 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"))] |
3 | clause(Lisp): "[]"("[]"(not, "()"(true)), should, be, false) => null |
4 | clause(Lisp): "[]"(mrshutco, is, a, human) => [l("mrshutco *", "is"), l("a *", "human")] |
5 | clause(Lisp): "[]"("[]"(not, "()"(false)), should, be, true) => null |
6 | clause(Lisp): "[]"(if, $x, and, "!", and, false, then, "[]"(not, "()"($x))) => [l("if *", "$x"), l("and *", "!"), l("and *", "false"), l("then *", l("[]", "not", l("()", "$x")))] |
7 | clause(Lisp): "[]"(not, "()"($x)) => [l("not *", l("()", "$x"))] |
8 | clause(Lisp): "[]"(if, $a, and, $b, then, "[]"($a, and, $b)) => [l("if *", "$a"), l("and *", "$b"), l("then *", l("[]", "$a", "and", "$b"))] |
9 | 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"))] |
10 | clause(Lisp): "[]"(lasagna, is, tasty) => null |
11 | 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"))] |
12 | clause(Lisp): "[]"(if, $a, then, "[]"($a, or, $b)) => [l("if *", "$a"), l("then *", l("[]", "$a", "or", "$b"))] |
13 | clause(Lisp): "[]"(if, $b, then, "[]"($a, or, $b)) => [l("if *", "$b"), l("then *", l("[]", "$a", "or", "$b"))] |
14 | clause(Lisp): "[]"($head, "=", iter, "[]"(cons, $head, $tail)) => null |
15 | 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")))] |
16 | clause(Lisp): "[]"(if, $x, then, "[]"(verify, "[]"($x, should, be, true))) => [l("if *", "$x"), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "true")))] |
17 | 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"))))] |
18 | 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"))))] |
19 | 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"))))] |
20 | 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")))] |
21 | clause(Lisp): "[]"(if, $x, then, "()"($x)) => [l("if *", "$x"), l("then *", l("()", "$x"))] |
22 | clause(Lisp): "[]"("\"and\"", is, a, fill, word) => null |
23 | clause(Lisp): "[]"("\",\"", is, a, fill, word) => null |
24 | clause(Lisp): "[]"(feet, is, the, plural, of, foot) => [l("feet *", "is"), l("the *", "plural"), l("of *", "foot")] |
25 | clause(Lisp): "[]"(bits, is, the, plural, of, bit) => [l("bits *", "is"), l("the *", "plural"), l("of *", "bit")] |
26 | Starting on goal: Prolog$Goal(car=l("[]", "true", "xor", "false")) |
27 | Goal arity 3: "[]"(true, xor, false) |
28 | Goal: "[]"(true, xor, false). Trying clause: "[]"(_1, xor, _2) :- "[]"(_1, and, not, "()"(_2)); "[]"(_1, xor, _2); "[]"(not, "()"(_1), and, _2) |
29 | Clause unifies to: "[]"(true, xor, false) :- "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false) |
30 | gdash: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false) |
31 | Goal arity 4: "[]"(true, and, not, "()"(false)) |
32 | New goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false) |
33 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_3, "=", intmul, "()"("[]"(_4, ",", _5))) :- native |
34 | No match for clause. |
35 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_6, "=", intdiv, "()"("[]"(_7, ",", _8))) :- native |
36 | No match for clause. |
37 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_9, "=", intadd, "()"("[]"(_10, ",", _11))) :- native |
38 | No match for clause. |
39 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_12, "=", intminus, "()"("[]"(_13, ",", _14))) :- native |
40 | No match for clause. |
41 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_15, "=", tocons, "()"(_16)) :- native |
42 | No match for clause. |
43 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
44 | No match for clause. |
45 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(mrshutco, is, a, human) |
46 | No match for clause. |
47 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
48 | No match for clause. |
49 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_17, "=", iter, "[]"(cons, _17, _18)) |
50 | No match for clause. |
51 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_19, "=", iter, "[]"(cons, _20, _21)) :- "[]"(_19, "=", iter, _21) |
52 | No match for clause. |
53 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_22, "=", smartmul, "()"("[]"(_23, ",", _24))) :- "[]"(_22, "=", intmul, "()"("[]"(_23, ",", _24))) |
54 | No match for clause. |
55 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_25, "=", smartmul, "()"("[]"(_26, ",", _27))) :- "[]"(_26, "=", intdiv, "()"("[]"(_25, ",", _27))) |
56 | No match for clause. |
57 | Goal: "[]"(true, and, not, "()"(false)); "[]"(true, xor, false); "[]"(not, "()"(true), and, false). Trying clause: "[]"(_28, "=", smartmul, "()"("[]"(_29, ",", _30))) :- "[]"(_30, "=", intdiv, "()"("[]"(_28, ",", _29))) |
58 | No match for clause. |
59 | Goal: "[]"(true, xor, false). Trying clause: "[]"(_31, and, _32) :- _31; _32 |
60 | No match for clause. |
61 | Goal: "[]"(true, xor, false). Trying clause: "[]"(lasagna, is, tasty) |
62 | No match for clause. |
63 | Goal: "[]"(true, xor, false). Trying clause: "[]"(_33, in, _34) :- "[]"(_34, "=", tocons, "()"(_35)); "[]"(_33, "=", iter, _34) |
64 | No match for clause. |
65 | Goal: "[]"(true, xor, false). Trying clause: "[]"(_36, or, _37) :- _36 |
66 | No match for clause. |
67 | Goal: "[]"(true, xor, false). Trying clause: "[]"(_38, or, _39) :- _39 |
68 | No match for clause. |
69 | 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: | #3000229 |
| Snippet name: | Answer for stefanreich (>> log) |
| Eternal ID of this version: | #3000229/1 |
| Text MD5: | f84b793beca76221beebf4fef9716e67 |
| 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 02:41:25 |
| Source code size: | 7589 bytes / 69 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 534 / 125 |
| Referenced in: | [show references] |