1 | |
2 | clause(Lisp): "[]"("[]"(not, "()"(true)), should, be, false) => null |
3 | clause(Lisp): "[]"(mrshutco, is, a, human) => [l("mrshutco *", "is"), l("a *", "human")] |
4 | clause(Lisp): "[]"("[]"(not, "()"(false)), should, be, true) => null |
5 | clause(Lisp): "[]"(if, $x, and, "!", and, false, then, "[]"(not, "()"($x))) => [l("if *", "$x"), l("and *", "!"), l("and *", "false"), l("then *", l("[]", "not", l("()", "$x")))] |
6 | clause(Lisp): "[]"(not, "()"($x)) => [l("not *", l("()", "$x"))] |
7 | clause(Lisp): "[]"(if, $a, and, $b, then, "[]"($a, and, $b)) => [l("if *", "$a"), l("and *", "$b"), l("then *", l("[]", "$a", "and", "$b"))] |
8 | 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"))] |
9 | 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"))] |
10 | 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"))] |
11 | clause(Lisp): "[]"(lasagna, is, tasty) => null |
12 | 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"))] |
13 | clause(Lisp): "[]"(if, $a, then, "[]"($a, or, $b)) => [l("if *", "$a"), l("then *", l("[]", "$a", "or", "$b"))] |
14 | clause(Lisp): "[]"(if, $b, then, "[]"($a, or, $b)) => [l("if *", "$b"), l("then *", l("[]", "$a", "or", "$b"))] |
15 | clause(Lisp): "[]"($head, "=", iter, "[]"(cons, $head, $tail)) => null |
16 | 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")))] |
17 | clause(Lisp): "[]"(if, $x, then, "[]"(verify, "[]"($x, should, be, true))) => [l("if *", "$x"), l("then *", l("[]", "verify", l("[]", "$x", "should", "be", "true")))] |
18 | 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"))))] |
19 | 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"))))] |
20 | 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"))))] |
21 | 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")))] |
22 | clause(Lisp): "[]"(if, $x, then, "()"($x)) => [l("if *", "$x"), l("then *", l("()", "$x"))] |
23 | clause(Lisp): "[]"("\"and\"", is, a, fill, word) => null |
24 | clause(Lisp): "[]"("\",\"", is, a, fill, word) => null |
25 | clause(Lisp): "[]"(feet, is, the, plural, of, foot) => [l("feet *", "is"), l("the *", "plural"), l("of *", "foot")] |
26 | clause(Lisp): "[]"(bits, is, the, plural, of, bit) => [l("bits *", "is"), l("the *", "plural"), l("of *", "bit")] |
27 | Starting on goal: Prolog$Goal(car=l("[]", Prolog$Var(id=0L, instance=r3), "is", "in", "list", "yes")) |
28 | Goal arity 5: "[]"($x, is, in, list, yes) |
29 | No match for clause. |
30 | No match for clause. |
31 | No match for clause. |
32 | Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_6, is, in, list, _7) :- "[]"(_8, "=", tocons, "()"(_7)); "[]"(_6, "=", iter, _8) |
33 | Clause unifies to: "[]"($x, is, in, list, yes) :- "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8) |
34 | gdash: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8) |
35 | Goal arity 4: "[]"(_8, "=", tocons, "()"(yes)) |
36 | New goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8) |
37 | native! |
38 | Goal arity 4: "[]"($x, "=", iter, "[]"(cons, yes, end)) |
39 | No match for clause. |
40 | No match for clause. |
41 | No match for clause. |
42 | No match for clause. |
43 | No match for clause. |
44 | No match for clause. |
45 | No match for clause. |
46 | No match for clause. |
47 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_23, "=", iter, "[]"(cons, _23, _24)) |
48 | Clause unifies to: "[]"(yes, "=", iter, "[]"(cons, yes, end)) |
49 | gdash: null |
50 | SUCCESS! |
51 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_25, "=", iter, "[]"(cons, _26, _27)) :- "[]"(_25, "=", iter, _27) |
52 | Clause unifies to: "[]"($x, "=", iter, "[]"(cons, yes, end)) :- "[]"($x, "=", iter, end) |
53 | gdash: "[]"($x, "=", iter, end) |
54 | Goal arity 4: "[]"($x, "=", iter, end) |
55 | New goal: "[]"($x, "=", iter, end) |
56 | No match for clause. |
57 | No match for clause. |
58 | No match for clause. |
59 | No match for clause. |
60 | No match for clause. |
61 | No match for clause. |
62 | No match for clause. |
63 | No match for clause. |
64 | No match for clause. |
65 | No match for clause. |
66 | No match for clause. |
67 | No match for clause. |
68 | No match for clause. |
69 | No match for clause. |
70 | No match for clause. |
71 | No match for clause. |
72 | No match for clause. |
73 | No match for clause. |
74 | No match for clause. |
75 | No match for clause. |
76 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_77, "=", tocons, "()"(_78)) :- native |
77 | Clause unifies to: "[]"(_8, "=", tocons, "()"(yes)) :- native |
78 | Clause is native. |
79 | gdash: "[]"($x, "=", iter, "[]"(cons, yes, end)) |
80 | Goal arity 4: "[]"($x, "=", iter, "[]"(cons, yes, end)) |
81 | New goal: "[]"($x, "=", iter, "[]"(cons, yes, end)) |
82 | No match for clause. |
83 | No match for clause. |
84 | No match for clause. |
85 | No match for clause. |
86 | No match for clause. |
87 | No match for clause. |
88 | No match for clause. |
89 | No match for clause. |
90 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_93, "=", iter, "[]"(cons, _93, _94)) |
91 | Clause unifies to: "[]"(yes, "=", iter, "[]"(cons, yes, end)) |
92 | gdash: null |
93 | SUCCESS! |
94 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_95, "=", iter, "[]"(cons, _96, _97)) :- "[]"(_95, "=", iter, _97) |
95 | Clause unifies to: "[]"($x, "=", iter, "[]"(cons, yes, end)) :- "[]"($x, "=", iter, end) |
96 | gdash: "[]"($x, "=", iter, end) |
97 | Goal arity 4: "[]"($x, "=", iter, end) |
98 | New goal: "[]"($x, "=", iter, end) |
99 | No match for clause. |
100 | No match for clause. |
101 | No match for clause. |
102 | No match for clause. |
103 | No match for clause. |
104 | No match for clause. |
105 | No match for clause. |
106 | No match for clause. |
107 | No match for clause. |
108 | No match for clause. |
109 | No match for clause. |
110 | No match for clause. |
111 | No match for clause. |
112 | No match for clause. |
113 | No match for clause. |
114 | No match for clause. |
115 | No match for clause. |
116 | No match for clause. |
117 | No match for clause. |
118 | No match for clause. |
119 | No match for clause. |
120 | No match for clause. |
121 | No match for clause. |
122 | No match for clause. |
123 | No match for clause. |
124 | No match for clause. |
125 | Done with goal! |
126 | 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: | #3000232 |
| Snippet name: | Answer for stefanreich (>> log) |
| Eternal ID of this version: | #3000232/1 |
| Text MD5: | cd53d3794b3f7df1a08e42c89c0046d8 |
| 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:05:59 |
| Source code size: | 7437 bytes / 126 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 388 / 88 |
| Referenced in: | [show references] |