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 | Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_1, is, greater, than, _2) :- native |
30 | No match for clause. |
31 | Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_3, "=", all, theory, names) :- native |
32 | No match for clause. |
33 | Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_4, is, less, than, _5) :- native |
34 | No match for clause. |
35 | Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"(_6, is, in, list, _7) :- "[]"(_8, "=", tocons, "()"(_7)); "[]"(_6, "=", iter, _8) |
36 | Clause unifies to: "[]"($x, is, in, list, yes) :- "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8) |
37 | gdash: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8) |
38 | Goal arity 4: "[]"(_8, "=", tocons, "()"(yes)) |
39 | New goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8) |
40 | native! |
41 | Goal arity 4: "[]"($x, "=", iter, "[]"(cons, yes, end)) |
42 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_9, "=", intmul, "()"("[]"(_10, ",", _11))) :- native |
43 | No match for clause. |
44 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_12, "=", intdiv, "()"("[]"(_13, ",", _14))) :- native |
45 | No match for clause. |
46 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_15, "=", intadd, "()"("[]"(_16, ",", _17))) :- native |
47 | No match for clause. |
48 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_18, "=", intminus, "()"("[]"(_19, ",", _20))) :- native |
49 | No match for clause. |
50 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_21, "=", tocons, "()"(_22)) :- native |
51 | No match for clause. |
52 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
53 | No match for clause. |
54 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(mrshutco, is, a, human) |
55 | No match for clause. |
56 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
57 | No match for clause. |
58 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_23, "=", iter, "[]"(cons, _23, _24)) |
59 | Clause unifies to: "[]"(yes, "=", iter, "[]"(cons, yes, end)) |
60 | gdash: null |
61 | SUCCESS! |
62 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_25, "=", iter, "[]"(cons, _26, _27)) :- "[]"(_25, "=", iter, _27) |
63 | Clause unifies to: "[]"($x, "=", iter, "[]"(cons, yes, end)) :- "[]"($x, "=", iter, end) |
64 | gdash: "[]"($x, "=", iter, end) |
65 | Goal arity 4: "[]"($x, "=", iter, end) |
66 | New goal: "[]"($x, "=", iter, end) |
67 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_28, "=", intmul, "()"("[]"(_29, ",", _30))) :- native |
68 | No match for clause. |
69 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_31, "=", intdiv, "()"("[]"(_32, ",", _33))) :- native |
70 | No match for clause. |
71 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_34, "=", intadd, "()"("[]"(_35, ",", _36))) :- native |
72 | No match for clause. |
73 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_37, "=", intminus, "()"("[]"(_38, ",", _39))) :- native |
74 | No match for clause. |
75 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_40, "=", tocons, "()"(_41)) :- native |
76 | No match for clause. |
77 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
78 | No match for clause. |
79 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(mrshutco, is, a, human) |
80 | No match for clause. |
81 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
82 | No match for clause. |
83 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_42, "=", iter, "[]"(cons, _42, _43)) |
84 | No match for clause. |
85 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_44, "=", iter, "[]"(cons, _45, _46)) :- "[]"(_44, "=", iter, _46) |
86 | No match for clause. |
87 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_47, "=", smartmul, "()"("[]"(_48, ",", _49))) :- "[]"(_47, "=", intmul, "()"("[]"(_48, ",", _49))) |
88 | No match for clause. |
89 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_50, "=", smartmul, "()"("[]"(_51, ",", _52))) :- "[]"(_51, "=", intdiv, "()"("[]"(_50, ",", _52))) |
90 | No match for clause. |
91 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_53, "=", smartmul, "()"("[]"(_54, ",", _55))) :- "[]"(_55, "=", intdiv, "()"("[]"(_53, ",", _54))) |
92 | No match for clause. |
93 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_56, "=", smartmul, "()"("[]"(_57, ",", _58))) :- "[]"(_56, "=", intmul, "()"("[]"(_57, ",", _58))) |
94 | No match for clause. |
95 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_59, "=", smartmul, "()"("[]"(_60, ",", _61))) :- "[]"(_60, "=", intdiv, "()"("[]"(_59, ",", _61))) |
96 | No match for clause. |
97 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_62, "=", smartmul, "()"("[]"(_63, ",", _64))) :- "[]"(_64, "=", intdiv, "()"("[]"(_62, ",", _63))) |
98 | No match for clause. |
99 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_65, "=", intmul, "()"("[]"(_66, ",", _67))) :- native |
100 | No match for clause. |
101 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_68, "=", intdiv, "()"("[]"(_69, ",", _70))) :- native |
102 | No match for clause. |
103 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_71, "=", intadd, "()"("[]"(_72, ",", _73))) :- native |
104 | No match for clause. |
105 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_74, "=", intminus, "()"("[]"(_75, ",", _76))) :- native |
106 | No match for clause. |
107 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_77, "=", tocons, "()"(_78)) :- native |
108 | Clause unifies to: "[]"(_8, "=", tocons, "()"(yes)) :- native |
109 | Clause is native. |
110 | gdash: "[]"($x, "=", iter, "[]"(cons, yes, end)) |
111 | Goal arity 4: "[]"($x, "=", iter, "[]"(cons, yes, end)) |
112 | New goal: "[]"($x, "=", iter, "[]"(cons, yes, end)) |
113 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_79, "=", intmul, "()"("[]"(_80, ",", _81))) :- native |
114 | No match for clause. |
115 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_82, "=", intdiv, "()"("[]"(_83, ",", _84))) :- native |
116 | No match for clause. |
117 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_85, "=", intadd, "()"("[]"(_86, ",", _87))) :- native |
118 | No match for clause. |
119 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_88, "=", intminus, "()"("[]"(_89, ",", _90))) :- native |
120 | No match for clause. |
121 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_91, "=", tocons, "()"(_92)) :- native |
122 | No match for clause. |
123 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
124 | No match for clause. |
125 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(mrshutco, is, a, human) |
126 | No match for clause. |
127 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
128 | No match for clause. |
129 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_93, "=", iter, "[]"(cons, _93, _94)) |
130 | Clause unifies to: "[]"(yes, "=", iter, "[]"(cons, yes, end)) |
131 | gdash: null |
132 | SUCCESS! |
133 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_95, "=", iter, "[]"(cons, _96, _97)) :- "[]"(_95, "=", iter, _97) |
134 | Clause unifies to: "[]"($x, "=", iter, "[]"(cons, yes, end)) :- "[]"($x, "=", iter, end) |
135 | gdash: "[]"($x, "=", iter, end) |
136 | Goal arity 4: "[]"($x, "=", iter, end) |
137 | New goal: "[]"($x, "=", iter, end) |
138 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_98, "=", intmul, "()"("[]"(_99, ",", _100))) :- native |
139 | No match for clause. |
140 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_101, "=", intdiv, "()"("[]"(_102, ",", _103))) :- native |
141 | No match for clause. |
142 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_104, "=", intadd, "()"("[]"(_105, ",", _106))) :- native |
143 | No match for clause. |
144 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_107, "=", intminus, "()"("[]"(_108, ",", _109))) :- native |
145 | No match for clause. |
146 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_110, "=", tocons, "()"(_111)) :- native |
147 | No match for clause. |
148 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
149 | No match for clause. |
150 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(mrshutco, is, a, human) |
151 | No match for clause. |
152 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
153 | No match for clause. |
154 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_112, "=", iter, "[]"(cons, _112, _113)) |
155 | No match for clause. |
156 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_114, "=", iter, "[]"(cons, _115, _116)) :- "[]"(_114, "=", iter, _116) |
157 | No match for clause. |
158 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_117, "=", smartmul, "()"("[]"(_118, ",", _119))) :- "[]"(_117, "=", intmul, "()"("[]"(_118, ",", _119))) |
159 | No match for clause. |
160 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_120, "=", smartmul, "()"("[]"(_121, ",", _122))) :- "[]"(_121, "=", intdiv, "()"("[]"(_120, ",", _122))) |
161 | No match for clause. |
162 | Goal: "[]"($x, "=", iter, end). Trying clause: "[]"(_123, "=", smartmul, "()"("[]"(_124, ",", _125))) :- "[]"(_125, "=", intdiv, "()"("[]"(_123, ",", _124))) |
163 | No match for clause. |
164 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_126, "=", smartmul, "()"("[]"(_127, ",", _128))) :- "[]"(_126, "=", intmul, "()"("[]"(_127, ",", _128))) |
165 | No match for clause. |
166 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_129, "=", smartmul, "()"("[]"(_130, ",", _131))) :- "[]"(_130, "=", intdiv, "()"("[]"(_129, ",", _131))) |
167 | No match for clause. |
168 | Goal: "[]"($x, "=", iter, "[]"(cons, yes, end)). Trying clause: "[]"(_132, "=", smartmul, "()"("[]"(_133, ",", _134))) :- "[]"(_134, "=", intdiv, "()"("[]"(_132, ",", _133))) |
169 | No match for clause. |
170 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
171 | No match for clause. |
172 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(mrshutco, is, a, human) |
173 | No match for clause. |
174 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
175 | No match for clause. |
176 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_135, "=", iter, "[]"(cons, _135, _136)) |
177 | No match for clause. |
178 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_137, "=", iter, "[]"(cons, _138, _139)) :- "[]"(_137, "=", iter, _139) |
179 | No match for clause. |
180 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_140, "=", smartmul, "()"("[]"(_141, ",", _142))) :- "[]"(_140, "=", intmul, "()"("[]"(_141, ",", _142))) |
181 | No match for clause. |
182 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_143, "=", smartmul, "()"("[]"(_144, ",", _145))) :- "[]"(_144, "=", intdiv, "()"("[]"(_143, ",", _145))) |
183 | No match for clause. |
184 | Goal: "[]"(_8, "=", tocons, "()"(yes)); "[]"($x, "=", iter, _8). Trying clause: "[]"(_146, "=", smartmul, "()"("[]"(_147, ",", _148))) :- "[]"(_148, "=", intdiv, "()"("[]"(_146, ",", _147))) |
185 | No match for clause. |
186 | Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"("\"and\"", is, a, fill, word) |
187 | No match for clause. |
188 | Goal: "[]"($x, is, in, list, yes). Trying clause: "[]"("\",\"", is, a, fill, word) |
189 | No match for clause. |
190 | Done with goal! |
191 | 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: | 537 / 123 |
| Referenced in: | [show references] |