1 | |
2 | Starting on goal: Prolog$Goal(car=l("[]", "not", l("()", l("[]", "not", l("()", l("[]", "not", l("()", l("[]", "not", l("()", l("[]", "not", l("()", l("[]", "true", "or", "true")))))))))))) |
3 | Trying clause: "[]"(verify, "[]"(_1, should, be, true)) :- _1 |
4 | No match for clause. |
5 | Trying clause: "[]"(verify, "[]"(_2, should, be, false)) :- "[]"(not, "()"(_2)) |
6 | No match for clause. |
7 | Trying clause: "[]"(not, "()"(_3)) :- _3; "!"; false |
8 | New goal: "[]"(not, "()"("[]"(not, "()"("[]"(not, "()"("[]"(not, "()"("[]"(true, or, true))))))))); "!"; false |
9 | Trying clause: nativeTest2 :- native |
10 | No match for clause. |
11 | Trying clause: nativeFail :- native |
12 | No match for clause. |
13 | Trying clause: "[]"(_4, "=", intmul, "()"("[]"(_5, ",", _6))) :- native |
14 | No match for clause. |
15 | Trying clause: "[]"(_7, "=", intdiv, "()"("[]"(_8, ",", _9))) :- native |
16 | No match for clause. |
17 | Trying clause: "[]"(_10, "=", intadd, "()"("[]"(_11, ",", _12))) :- native |
18 | No match for clause. |
19 | Trying clause: "[]"(_13, "=", intminus, "()"("[]"(_14, ",", _15))) :- native |
20 | No match for clause. |
21 | Trying clause: "[]"(_16, is, greater, than, _17) :- native |
22 | No match for clause. |
23 | Trying clause: "[]"(head, _18, exists, in, theory, _19) :- native |
24 | No match for clause. |
25 | Trying clause: "[]"(_20, "=", all, theory, names) :- native |
26 | No match for clause. |
27 | Trying clause: "[]"(_21, "=", tocons, "()"(_22)) :- native |
28 | No match for clause. |
29 | Trying clause: "[]"(_23, in, _24) :- "[]"(_24, "=", tocons, "()"(_25)); "[]"(_23, "=", iter, _24) |
30 | No match for clause. |
31 | Trying clause: "[]"(_26, or, _27) :- _26 |
32 | No match for clause. |
33 | Trying clause: "[]"(_28, or, _29) :- _29 |
34 | No match for clause. |
35 | Trying clause: "[]"(_30, "=", iter, "[]"(cons, _30, _31)) |
36 | No match for clause. |
37 | Trying clause: "[]"(_32, "=", iter, "[]"(cons, _33, _34)) :- "[]"(_32, "=", iter, _34) |
38 | No match for clause. |
39 | Trying clause: "[]"(verify, "[]"(_35, should, be, true)) :- _35 |
40 | No match for clause. |
41 | Trying clause: "[]"(_36, "=", smartmul, "()"("[]"(_37, ",", _38))) :- "[]"(_36, "=", intmul, "()"("[]"(_37, ",", _38))) |
42 | No match for clause. |
43 | Trying clause: "[]"(_39, "=", smartmul, "()"("[]"(_40, ",", _41))) :- "[]"(_40, "=", intdiv, "()"("[]"(_39, ",", _41))) |
44 | No match for clause. |
45 | Trying clause: "[]"(_42, "=", smartmul, "()"("[]"(_43, ",", _44))) :- "[]"(_44, "=", intdiv, "()"("[]"(_42, ",", _43))) |
46 | No match for clause. |
47 | Trying clause: "[]"(verify, "[]"(_45, should, be, false)) :- "[]"(not, "()"(_45)) |
48 | No match for clause. |
49 | Trying clause: "()"(_46) :- _46 |
50 | No match for clause. |
51 | Trying clause: "[]"("\"and\"", is, a, fill, word) |
52 | No match for clause. |
53 | Trying clause: "[]"("\",\"", is, a, fill, word) |
54 | No match for clause. |
55 | Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
56 | No match for clause. |
57 | Trying clause: "[]"(mrshutco, is, a, human) |
58 | No match for clause. |
59 | Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
60 | No match for clause. |
61 | Trying clause: "[]"(not, "()"(_47)) :- _47; "!"; false |
62 | New goal: "[]"(not, "()"("[]"(not, "()"("[]"(not, "()"("[]"(true, or, true))))))); "!"; false |
63 | Trying clause: nativeTest2 :- native |
64 | No match for clause. |
65 | Trying clause: nativeFail :- native |
66 | No match for clause. |
67 | Trying clause: "[]"(_48, "=", intmul, "()"("[]"(_49, ",", _50))) :- native |
68 | No match for clause. |
69 | Trying clause: "[]"(_51, "=", intdiv, "()"("[]"(_52, ",", _53))) :- native |
70 | No match for clause. |
71 | Trying clause: "[]"(_54, "=", intadd, "()"("[]"(_55, ",", _56))) :- native |
72 | No match for clause. |
73 | Trying clause: "[]"(_57, "=", intminus, "()"("[]"(_58, ",", _59))) :- native |
74 | No match for clause. |
75 | Trying clause: "[]"(_60, is, greater, than, _61) :- native |
76 | No match for clause. |
77 | Trying clause: "[]"(head, _62, exists, in, theory, _63) :- native |
78 | No match for clause. |
79 | Trying clause: "[]"(_64, "=", all, theory, names) :- native |
80 | No match for clause. |
81 | Trying clause: "[]"(_65, "=", tocons, "()"(_66)) :- native |
82 | No match for clause. |
83 | Trying clause: "[]"(_67, in, _68) :- "[]"(_68, "=", tocons, "()"(_69)); "[]"(_67, "=", iter, _68) |
84 | No match for clause. |
85 | Trying clause: "[]"(_70, or, _71) :- _70 |
86 | No match for clause. |
87 | Trying clause: "[]"(_72, or, _73) :- _73 |
88 | No match for clause. |
89 | Trying clause: "[]"(_74, "=", iter, "[]"(cons, _74, _75)) |
90 | No match for clause. |
91 | Trying clause: "[]"(_76, "=", iter, "[]"(cons, _77, _78)) :- "[]"(_76, "=", iter, _78) |
92 | No match for clause. |
93 | Trying clause: "[]"(verify, "[]"(_79, should, be, true)) :- _79 |
94 | No match for clause. |
95 | Trying clause: "[]"(_80, "=", smartmul, "()"("[]"(_81, ",", _82))) :- "[]"(_80, "=", intmul, "()"("[]"(_81, ",", _82))) |
96 | No match for clause. |
97 | Trying clause: "[]"(_83, "=", smartmul, "()"("[]"(_84, ",", _85))) :- "[]"(_84, "=", intdiv, "()"("[]"(_83, ",", _85))) |
98 | No match for clause. |
99 | Trying clause: "[]"(_86, "=", smartmul, "()"("[]"(_87, ",", _88))) :- "[]"(_88, "=", intdiv, "()"("[]"(_86, ",", _87))) |
100 | No match for clause. |
101 | Trying clause: "[]"(verify, "[]"(_89, should, be, false)) :- "[]"(not, "()"(_89)) |
102 | No match for clause. |
103 | Trying clause: "()"(_90) :- _90 |
104 | No match for clause. |
105 | Trying clause: "[]"("\"and\"", is, a, fill, word) |
106 | No match for clause. |
107 | Trying clause: "[]"("\",\"", is, a, fill, word) |
108 | No match for clause. |
109 | Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
110 | No match for clause. |
111 | Trying clause: "[]"(mrshutco, is, a, human) |
112 | No match for clause. |
113 | Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
114 | No match for clause. |
115 | Trying clause: "[]"(not, "()"(_91)) :- _91; "!"; false |
116 | New goal: "[]"(not, "()"("[]"(not, "()"("[]"(true, or, true))))); "!"; false |
117 | Trying clause: nativeTest2 :- native |
118 | No match for clause. |
119 | Trying clause: nativeFail :- native |
120 | No match for clause. |
121 | Trying clause: "[]"(_92, "=", intmul, "()"("[]"(_93, ",", _94))) :- native |
122 | No match for clause. |
123 | Trying clause: "[]"(_95, "=", intdiv, "()"("[]"(_96, ",", _97))) :- native |
124 | No match for clause. |
125 | Trying clause: "[]"(_98, "=", intadd, "()"("[]"(_99, ",", _100))) :- native |
126 | No match for clause. |
127 | Trying clause: "[]"(_101, "=", intminus, "()"("[]"(_102, ",", _103))) :- native |
128 | No match for clause. |
129 | Trying clause: "[]"(_104, is, greater, than, _105) :- native |
130 | No match for clause. |
131 | Trying clause: "[]"(head, _106, exists, in, theory, _107) :- native |
132 | No match for clause. |
133 | Trying clause: "[]"(_108, "=", all, theory, names) :- native |
134 | No match for clause. |
135 | Trying clause: "[]"(_109, "=", tocons, "()"(_110)) :- native |
136 | No match for clause. |
137 | Trying clause: "[]"(_111, in, _112) :- "[]"(_112, "=", tocons, "()"(_113)); "[]"(_111, "=", iter, _112) |
138 | No match for clause. |
139 | Trying clause: "[]"(_114, or, _115) :- _114 |
140 | No match for clause. |
141 | Trying clause: "[]"(_116, or, _117) :- _117 |
142 | No match for clause. |
143 | Trying clause: "[]"(_118, "=", iter, "[]"(cons, _118, _119)) |
144 | No match for clause. |
145 | Trying clause: "[]"(_120, "=", iter, "[]"(cons, _121, _122)) :- "[]"(_120, "=", iter, _122) |
146 | No match for clause. |
147 | Trying clause: "[]"(verify, "[]"(_123, should, be, true)) :- _123 |
148 | No match for clause. |
149 | Trying clause: "[]"(_124, "=", smartmul, "()"("[]"(_125, ",", _126))) :- "[]"(_124, "=", intmul, "()"("[]"(_125, ",", _126))) |
150 | No match for clause. |
151 | Trying clause: "[]"(_127, "=", smartmul, "()"("[]"(_128, ",", _129))) :- "[]"(_128, "=", intdiv, "()"("[]"(_127, ",", _129))) |
152 | No match for clause. |
153 | Trying clause: "[]"(_130, "=", smartmul, "()"("[]"(_131, ",", _132))) :- "[]"(_132, "=", intdiv, "()"("[]"(_130, ",", _131))) |
154 | No match for clause. |
155 | Trying clause: "[]"(verify, "[]"(_133, should, be, false)) :- "[]"(not, "()"(_133)) |
156 | No match for clause. |
157 | Trying clause: "()"(_134) :- _134 |
158 | No match for clause. |
159 | Trying clause: "[]"("\"and\"", is, a, fill, word) |
160 | No match for clause. |
161 | Trying clause: "[]"("\",\"", is, a, fill, word) |
162 | No match for clause. |
163 | Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
164 | No match for clause. |
165 | Trying clause: "[]"(mrshutco, is, a, human) |
166 | No match for clause. |
167 | Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
168 | No match for clause. |
169 | Trying clause: "[]"(not, "()"(_135)) :- _135; "!"; false |
170 | New goal: "[]"(not, "()"("[]"(true, or, true))); "!"; false |
171 | Trying clause: nativeTest2 :- native |
172 | No match for clause. |
173 | Trying clause: nativeFail :- native |
174 | No match for clause. |
175 | Trying clause: "[]"(_136, "=", intmul, "()"("[]"(_137, ",", _138))) :- native |
176 | No match for clause. |
177 | Trying clause: "[]"(_139, "=", intdiv, "()"("[]"(_140, ",", _141))) :- native |
178 | No match for clause. |
179 | Trying clause: "[]"(_142, "=", intadd, "()"("[]"(_143, ",", _144))) :- native |
180 | No match for clause. |
181 | Trying clause: "[]"(_145, "=", intminus, "()"("[]"(_146, ",", _147))) :- native |
182 | No match for clause. |
183 | Trying clause: "[]"(_148, is, greater, than, _149) :- native |
184 | No match for clause. |
185 | Trying clause: "[]"(head, _150, exists, in, theory, _151) :- native |
186 | No match for clause. |
187 | Trying clause: "[]"(_152, "=", all, theory, names) :- native |
188 | No match for clause. |
189 | Trying clause: "[]"(_153, "=", tocons, "()"(_154)) :- native |
190 | No match for clause. |
191 | Trying clause: "[]"(_155, in, _156) :- "[]"(_156, "=", tocons, "()"(_157)); "[]"(_155, "=", iter, _156) |
192 | No match for clause. |
193 | Trying clause: "[]"(_158, or, _159) :- _158 |
194 | No match for clause. |
195 | Trying clause: "[]"(_160, or, _161) :- _161 |
196 | No match for clause. |
197 | Trying clause: "[]"(_162, "=", iter, "[]"(cons, _162, _163)) |
198 | No match for clause. |
199 | Trying clause: "[]"(_164, "=", iter, "[]"(cons, _165, _166)) :- "[]"(_164, "=", iter, _166) |
200 | No match for clause. |
201 | Trying clause: "[]"(verify, "[]"(_167, should, be, true)) :- _167 |
202 | No match for clause. |
203 | Trying clause: "[]"(_168, "=", smartmul, "()"("[]"(_169, ",", _170))) :- "[]"(_168, "=", intmul, "()"("[]"(_169, ",", _170))) |
204 | No match for clause. |
205 | Trying clause: "[]"(_171, "=", smartmul, "()"("[]"(_172, ",", _173))) :- "[]"(_172, "=", intdiv, "()"("[]"(_171, ",", _173))) |
206 | No match for clause. |
207 | Trying clause: "[]"(_174, "=", smartmul, "()"("[]"(_175, ",", _176))) :- "[]"(_176, "=", intdiv, "()"("[]"(_174, ",", _175))) |
208 | No match for clause. |
209 | Trying clause: "[]"(verify, "[]"(_177, should, be, false)) :- "[]"(not, "()"(_177)) |
210 | No match for clause. |
211 | Trying clause: "()"(_178) :- _178 |
212 | No match for clause. |
213 | Trying clause: "[]"("\"and\"", is, a, fill, word) |
214 | No match for clause. |
215 | Trying clause: "[]"("\",\"", is, a, fill, word) |
216 | No match for clause. |
217 | Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
218 | No match for clause. |
219 | Trying clause: "[]"(mrshutco, is, a, human) |
220 | No match for clause. |
221 | Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
222 | No match for clause. |
223 | Trying clause: "[]"(not, "()"(_179)) :- _179; "!"; false |
224 | New goal: "[]"(true, or, true); "!"; false |
225 | Trying clause: nativeTest2 :- native |
226 | No match for clause. |
227 | Trying clause: nativeFail :- native |
228 | No match for clause. |
229 | Trying clause: "[]"(_180, "=", intmul, "()"("[]"(_181, ",", _182))) :- native |
230 | No match for clause. |
231 | Trying clause: "[]"(_183, "=", intdiv, "()"("[]"(_184, ",", _185))) :- native |
232 | No match for clause. |
233 | Trying clause: "[]"(_186, "=", intadd, "()"("[]"(_187, ",", _188))) :- native |
234 | No match for clause. |
235 | Trying clause: "[]"(_189, "=", intminus, "()"("[]"(_190, ",", _191))) :- native |
236 | No match for clause. |
237 | Trying clause: "[]"(_192, is, greater, than, _193) :- native |
238 | No match for clause. |
239 | Trying clause: "[]"(head, _194, exists, in, theory, _195) :- native |
240 | No match for clause. |
241 | Trying clause: "[]"(_196, "=", all, theory, names) :- native |
242 | No match for clause. |
243 | Trying clause: "[]"(_197, "=", tocons, "()"(_198)) :- native |
244 | No match for clause. |
245 | Trying clause: "[]"(_199, in, _200) :- "[]"(_200, "=", tocons, "()"(_201)); "[]"(_199, "=", iter, _200) |
246 | No match for clause. |
247 | Trying clause: "[]"(_202, or, _203) :- _202 |
248 | New goal: true |
249 | Trying clause: nativeTest2 :- native |
250 | No match for clause. |
251 | Trying clause: nativeFail :- native |
252 | No match for clause. |
253 | Trying clause: "[]"(_204, "=", intmul, "()"("[]"(_205, ",", _206))) :- native |
254 | No match for clause. |
255 | Trying clause: "[]"(_207, "=", intdiv, "()"("[]"(_208, ",", _209))) :- native |
256 | No match for clause. |
257 | Trying clause: "[]"(_210, "=", intadd, "()"("[]"(_211, ",", _212))) :- native |
258 | No match for clause. |
259 | Trying clause: "[]"(_213, "=", intminus, "()"("[]"(_214, ",", _215))) :- native |
260 | No match for clause. |
261 | Trying clause: "[]"(_216, is, greater, than, _217) :- native |
262 | No match for clause. |
263 | Trying clause: "[]"(head, _218, exists, in, theory, _219) :- native |
264 | No match for clause. |
265 | Trying clause: "[]"(_220, "=", all, theory, names) :- native |
266 | No match for clause. |
267 | Trying clause: "[]"(_221, "=", tocons, "()"(_222)) :- native |
268 | No match for clause. |
269 | Trying clause: "[]"(_223, in, _224) :- "[]"(_224, "=", tocons, "()"(_225)); "[]"(_223, "=", iter, _224) |
270 | No match for clause. |
271 | Trying clause: "[]"(_226, or, _227) :- _226 |
272 | No match for clause. |
273 | Trying clause: "[]"(_228, or, _229) :- _229 |
274 | No match for clause. |
275 | Trying clause: "[]"(_230, "=", iter, "[]"(cons, _230, _231)) |
276 | No match for clause. |
277 | Trying clause: "[]"(_232, "=", iter, "[]"(cons, _233, _234)) :- "[]"(_232, "=", iter, _234) |
278 | No match for clause. |
279 | Trying clause: "[]"(verify, "[]"(_235, should, be, true)) :- _235 |
280 | No match for clause. |
281 | Trying clause: "[]"(_236, "=", smartmul, "()"("[]"(_237, ",", _238))) :- "[]"(_236, "=", intmul, "()"("[]"(_237, ",", _238))) |
282 | No match for clause. |
283 | Trying clause: "[]"(_239, "=", smartmul, "()"("[]"(_240, ",", _241))) :- "[]"(_240, "=", intdiv, "()"("[]"(_239, ",", _241))) |
284 | No match for clause. |
285 | Trying clause: "[]"(_242, "=", smartmul, "()"("[]"(_243, ",", _244))) :- "[]"(_244, "=", intdiv, "()"("[]"(_242, ",", _243))) |
286 | No match for clause. |
287 | Trying clause: "[]"(verify, "[]"(_245, should, be, false)) :- "[]"(not, "()"(_245)) |
288 | No match for clause. |
289 | Trying clause: "()"(_246) :- _246 |
290 | No match for clause. |
291 | Trying clause: "[]"("\"and\"", is, a, fill, word) |
292 | No match for clause. |
293 | Trying clause: "[]"("\",\"", is, a, fill, word) |
294 | No match for clause. |
295 | Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
296 | No match for clause. |
297 | Trying clause: "[]"(mrshutco, is, a, human) |
298 | No match for clause. |
299 | Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
300 | No match for clause. |
301 | Trying clause: "[]"(not, "()"(_247)) :- _247; "!"; false |
302 | No match for clause. |
303 | Trying clause: "[]"(not, "()"(_248)) |
304 | No match for clause. |
305 | Trying clause: "[]"(_249, and, _250) :- _249; _250 |
306 | No match for clause. |
307 | Trying clause: "[]"(_251, is, in, list, _252) :- "[]"(_253, "=", tocons, "()"(_252)); "[]"(_251, "=", iter, _253) |
308 | No match for clause. |
309 | Trying clause: "[]"(feet, is, the, plural, of, foot) |
310 | No match for clause. |
311 | Trying clause: "[]"(bits, is, the, plural, of, bit) |
312 | No match for clause. |
313 | Trying clause: "[]"(lasagna, is, tasty) |
314 | No match for clause. |
315 | Trying clause: "[]"(_254, or, _255) :- _255 |
316 | New goal: true |
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: | #3000218 |
| Snippet name: | Answer for stefanreich (>> log) |
| Eternal ID of this version: | #3000218/1 |
| Text MD5: | e264675dade4cbda421de69cc99d8164 |
| 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 01:34:21 |
| Source code size: | 15703 bytes / 316 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 486 / 108 |
| Referenced in: | [show references] |