1 | java.lang.RuntimeException: time limit reached: 20 s |
2 | ``` |
3 | Starting on goal: $list = [$x | [[$x should be $y] and [verify [$x should be $y]]]] |
4 | Goal arity 3: $list = [$x | [[$x should be $y] and [verify [$x should be $y]]]] |
5 | nextSolution |
6 | Got clause: _10 = [_11 | _12] |
7 | Clause unifies to: $list = [_11 | [[_11 should be $y] and [verify [_11 should be $y]]]] |
8 | gdash: _13 = new collector |
9 | Goal arity 4: _13 = new collector |
10 | Got clause: _14 = new collector |
11 | Clause unifies to: _13 = new collector |
12 | Clause is native. |
13 | gdash: [forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])] or true |
14 | Goal arity 3: [forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])] or true |
15 | Got clause: _28 or _29 |
16 | Clause unifies to: [forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>])] or true |
17 | gdash: forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>]) |
18 | Goal arity 2: forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>]) |
19 | Got clause: forall_impl ([_36 , _37 , _38]) |
20 | Clause unifies to: forall_impl ([_11 , [[_11 should be $y] and [verify [_11 should be $y]]] , <collector>]) |
21 | gdash: [_11 should be $y] and [verify [_11 should be $y]] |
22 | Goal arity 3: [_11 should be $y] and [verify [_11 should be $y]] |
23 | Got clause: _39 and _40 |
24 | Clause unifies to: [_11 should be $y] and [verify [_11 should be $y]] |
25 | gdash: _11 should be $y |
26 | Goal arity 4: _11 should be $y |
27 | Got clause: [not (false)] should be true |
28 | Clause unifies to: [not (false)] should be true |
29 | gdash: verify [[not (false)] should be true] |
30 | Goal arity 2: verify [[not (false)] should be true] |
31 | Got clause: verify [_115 should be true] |
32 | Clause unifies to: verify [[not (false)] should be true] |
33 | gdash: not (false) |
34 | Goal arity 2: not (false) |
35 | Got clause: not (_126) |
36 | Clause unifies to: not (false) |
37 | gdash: false |
38 | Goal arity 0: false |
39 | Got clause: not (_127) |
40 | Clause unifies to: not (false) |
41 | gdash: saveTo ([[not (false)] , <collector>]) |
42 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
43 | Got clause: saveTo ([_128 , _129]) |
44 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
45 | Clause is native. |
46 | gdash: false |
47 | Goal arity 0: false |
48 | Got clause: not _147 |
49 | Clause unifies to: not (false) |
50 | gdash: not ((false)) |
51 | Goal arity 2: not ((false)) |
52 | Got clause: not (_158) |
53 | Clause unifies to: not ((false)) |
54 | gdash: (false) |
55 | Goal arity 1: (false) |
56 | Got clause: (_159) |
57 | Clause unifies to: (false) |
58 | gdash: false |
59 | Goal arity 0: false |
60 | Got clause: not (_160) |
61 | Clause unifies to: not ((false)) |
62 | gdash: saveTo ([[not (false)] , <collector>]) |
63 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
64 | Got clause: saveTo ([_161 , _162]) |
65 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
66 | Clause is native. |
67 | gdash: false |
68 | Goal arity 0: false |
69 | Got clause: not _180 |
70 | Clause unifies to: not ((false)) |
71 | gdash: not (((false))) |
72 | Goal arity 2: not (((false))) |
73 | Got clause: not (_191) |
74 | Clause unifies to: not (((false))) |
75 | gdash: ((false)) |
76 | Goal arity 1: ((false)) |
77 | Got clause: (_192) |
78 | Clause unifies to: ((false)) |
79 | gdash: (false) |
80 | Goal arity 1: (false) |
81 | Got clause: (_193) |
82 | Clause unifies to: (false) |
83 | gdash: false |
84 | Goal arity 0: false |
85 | Got clause: not (_194) |
86 | Clause unifies to: not (((false))) |
87 | gdash: saveTo ([[not (false)] , <collector>]) |
88 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
89 | Got clause: saveTo ([_195 , _196]) |
90 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
91 | Clause is native. |
92 | gdash: false |
93 | Goal arity 0: false |
94 | Got clause: not _214 |
95 | Clause unifies to: not (((false))) |
96 | gdash: not ((((false)))) |
97 | Goal arity 2: not ((((false)))) |
98 | Got clause: not (_225) |
99 | Clause unifies to: not ((((false)))) |
100 | gdash: (((false))) |
101 | Goal arity 1: (((false))) |
102 | Got clause: (_226) |
103 | Clause unifies to: (((false))) |
104 | gdash: ((false)) |
105 | Goal arity 1: ((false)) |
106 | Got clause: (_227) |
107 | Clause unifies to: ((false)) |
108 | gdash: (false) |
109 | Goal arity 1: (false) |
110 | Got clause: (_228) |
111 | Clause unifies to: (false) |
112 | gdash: false |
113 | Goal arity 0: false |
114 | Got clause: not (_229) |
115 | Clause unifies to: not ((((false)))) |
116 | gdash: saveTo ([[not (false)] , <collector>]) |
117 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
118 | Got clause: saveTo ([_230 , _231]) |
119 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
120 | Clause is native. |
121 | gdash: false |
122 | Goal arity 0: false |
123 | Got clause: not _249 |
124 | Clause unifies to: not ((((false)))) |
125 | gdash: not (((((false))))) |
126 | Goal arity 2: not (((((false))))) |
127 | Got clause: not (_260) |
128 | Clause unifies to: not (((((false))))) |
129 | gdash: ((((false)))) |
130 | Goal arity 1: ((((false)))) |
131 | Got clause: (_261) |
132 | Clause unifies to: ((((false)))) |
133 | gdash: (((false))) |
134 | Goal arity 1: (((false))) |
135 | Got clause: (_262) |
136 | Clause unifies to: (((false))) |
137 | gdash: ((false)) |
138 | Goal arity 1: ((false)) |
139 | Got clause: (_263) |
140 | Clause unifies to: ((false)) |
141 | gdash: (false) |
142 | Goal arity 1: (false) |
143 | Got clause: (_264) |
144 | Clause unifies to: (false) |
145 | gdash: false |
146 | Goal arity 0: false |
147 | Got clause: not (_265) |
148 | Clause unifies to: not (((((false))))) |
149 | gdash: saveTo ([[not (false)] , <collector>]) |
150 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
151 | Got clause: saveTo ([_266 , _267]) |
152 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
153 | Clause is native. |
154 | gdash: false |
155 | Goal arity 0: false |
156 | Got clause: not _285 |
157 | Clause unifies to: not (((((false))))) |
158 | gdash: not ((((((false)))))) |
159 | Goal arity 2: not ((((((false)))))) |
160 | Got clause: not (_296) |
161 | Clause unifies to: not ((((((false)))))) |
162 | gdash: (((((false))))) |
163 | Goal arity 1: (((((false))))) |
164 | Got clause: (_297) |
165 | Clause unifies to: (((((false))))) |
166 | gdash: ((((false)))) |
167 | Goal arity 1: ((((false)))) |
168 | Got clause: (_298) |
169 | Clause unifies to: ((((false)))) |
170 | gdash: (((false))) |
171 | Goal arity 1: (((false))) |
172 | Got clause: (_299) |
173 | Clause unifies to: (((false))) |
174 | gdash: ((false)) |
175 | Goal arity 1: ((false)) |
176 | Got clause: (_300) |
177 | Clause unifies to: ((false)) |
178 | gdash: (false) |
179 | Goal arity 1: (false) |
180 | Got clause: (_301) |
181 | Clause unifies to: (false) |
182 | gdash: false |
183 | Goal arity 0: false |
184 | Got clause: not (_302) |
185 | Clause unifies to: not ((((((false)))))) |
186 | gdash: saveTo ([[not (false)] , <collector>]) |
187 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
188 | Got clause: saveTo ([_303 , _304]) |
189 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
190 | Clause is native. |
191 | gdash: false |
192 | Goal arity 0: false |
193 | Got clause: not _322 |
194 | Clause unifies to: not ((((((false)))))) |
195 | gdash: not (((((((false))))))) |
196 | Goal arity 2: not (((((((false))))))) |
197 | Got clause: not (_333) |
198 | Clause unifies to: not (((((((false))))))) |
199 | gdash: ((((((false)))))) |
200 | Goal arity 1: ((((((false)))))) |
201 | Got clause: (_334) |
202 | Clause unifies to: ((((((false)))))) |
203 | gdash: (((((false))))) |
204 | Goal arity 1: (((((false))))) |
205 | Got clause: (_335) |
206 | Clause unifies to: (((((false))))) |
207 | gdash: ((((false)))) |
208 | Goal arity 1: ((((false)))) |
209 | Got clause: (_336) |
210 | Clause unifies to: ((((false)))) |
211 | gdash: (((false))) |
212 | Goal arity 1: (((false))) |
213 | Got clause: (_337) |
214 | Clause unifies to: (((false))) |
215 | gdash: ((false)) |
216 | Goal arity 1: ((false)) |
217 | Got clause: (_338) |
218 | Clause unifies to: ((false)) |
219 | gdash: (false) |
220 | Goal arity 1: (false) |
221 | Got clause: (_339) |
222 | Clause unifies to: (false) |
223 | gdash: false |
224 | Goal arity 0: false |
225 | Got clause: not (_340) |
226 | Clause unifies to: not (((((((false))))))) |
227 | gdash: saveTo ([[not (false)] , <collector>]) |
228 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
229 | Got clause: saveTo ([_341 , _342]) |
230 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
231 | Clause is native. |
232 | gdash: false |
233 | Goal arity 0: false |
234 | Got clause: not _360 |
235 | Clause unifies to: not (((((((false))))))) |
236 | gdash: not ((((((((false)))))))) |
237 | Goal arity 2: not ((((((((false)))))))) |
238 | Got clause: not (_371) |
239 | Clause unifies to: not ((((((((false)))))))) |
240 | gdash: (((((((false))))))) |
241 | Goal arity 1: (((((((false))))))) |
242 | Got clause: (_372) |
243 | Clause unifies to: (((((((false))))))) |
244 | gdash: ((((((false)))))) |
245 | Goal arity 1: ((((((false)))))) |
246 | Got clause: (_373) |
247 | Clause unifies to: ((((((false)))))) |
248 | gdash: (((((false))))) |
249 | Goal arity 1: (((((false))))) |
250 | Got clause: (_374) |
251 | Clause unifies to: (((((false))))) |
252 | gdash: ((((false)))) |
253 | Goal arity 1: ((((false)))) |
254 | Got clause: (_375) |
255 | Clause unifies to: ((((false)))) |
256 | gdash: (((false))) |
257 | Goal arity 1: (((false))) |
258 | Got clause: (_376) |
259 | Clause unifies to: (((false))) |
260 | gdash: ((false)) |
261 | Goal arity 1: ((false)) |
262 | Got clause: (_377) |
263 | Clause unifies to: ((false)) |
264 | gdash: (false) |
265 | Goal arity 1: (false) |
266 | Got clause: (_378) |
267 | Clause unifies to: (false) |
268 | gdash: false |
269 | Goal arity 0: false |
270 | Got clause: not (_379) |
271 | Clause unifies to: not ((((((((false)))))))) |
272 | gdash: saveTo ([[not (false)] , <collector>]) |
273 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
274 | Got clause: saveTo ([_380 , _381]) |
275 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
276 | Clause is native. |
277 | gdash: false |
278 | Goal arity 0: false |
279 | Got clause: not _399 |
280 | Clause unifies to: not ((((((((false)))))))) |
281 | gdash: not (((((((((false))))))))) |
282 | Goal arity 2: not (((((((((false))))))))) |
283 | Got clause: not (_410) |
284 | Clause unifies to: not (((((((((false))))))))) |
285 | gdash: ((((((((false)))))))) |
286 | Goal arity 1: ((((((((false)))))))) |
287 | Got clause: (_411) |
288 | Clause unifies to: ((((((((false)))))))) |
289 | gdash: (((((((false))))))) |
290 | Goal arity 1: (((((((false))))))) |
291 | Got clause: (_412) |
292 | Clause unifies to: (((((((false))))))) |
293 | gdash: ((((((false)))))) |
294 | Goal arity 1: ((((((false)))))) |
295 | Got clause: (_413) |
296 | Clause unifies to: ((((((false)))))) |
297 | gdash: (((((false))))) |
298 | Goal arity 1: (((((false))))) |
299 | Got clause: (_414) |
300 | Clause unifies to: (((((false))))) |
301 | gdash: ((((false)))) |
302 | Goal arity 1: ((((false)))) |
303 | Got clause: (_415) |
304 | Clause unifies to: ((((false)))) |
305 | gdash: (((false))) |
306 | Goal arity 1: (((false))) |
307 | Got clause: (_416) |
308 | Clause unifies to: (((false))) |
309 | gdash: ((false)) |
310 | Goal arity 1: ((false)) |
311 | Got clause: (_417) |
312 | Clause unifies to: ((false)) |
313 | gdash: (false) |
314 | Goal arity 1: (false) |
315 | Got clause: (_418) |
316 | Clause unifies to: (false) |
317 | gdash: false |
318 | Goal arity 0: false |
319 | Got clause: not (_419) |
320 | Clause unifies to: not (((((((((false))))))))) |
321 | gdash: saveTo ([[not (false)] , <collector>]) |
322 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
323 | Got clause: saveTo ([_420 , _421]) |
324 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
325 | Clause is native. |
326 | gdash: false |
327 | Goal arity 0: false |
328 | Got clause: not _439 |
329 | Clause unifies to: not (((((((((false))))))))) |
330 | gdash: not ((((((((((false)))))))))) |
331 | Goal arity 2: not ((((((((((false)))))))))) |
332 | Got clause: not (_450) |
333 | Clause unifies to: not ((((((((((false)))))))))) |
334 | gdash: (((((((((false))))))))) |
335 | Goal arity 1: (((((((((false))))))))) |
336 | Got clause: (_451) |
337 | Clause unifies to: (((((((((false))))))))) |
338 | gdash: ((((((((false)))))))) |
339 | Goal arity 1: ((((((((false)))))))) |
340 | Got clause: (_452) |
341 | Clause unifies to: ((((((((false)))))))) |
342 | gdash: (((((((false))))))) |
343 | Goal arity 1: (((((((false))))))) |
344 | Got clause: (_453) |
345 | Clause unifies to: (((((((false))))))) |
346 | gdash: ((((((false)))))) |
347 | Goal arity 1: ((((((false)))))) |
348 | Got clause: (_454) |
349 | Clause unifies to: ((((((false)))))) |
350 | gdash: (((((false))))) |
351 | Goal arity 1: (((((false))))) |
352 | Got clause: (_455) |
353 | Clause unifies to: (((((false))))) |
354 | gdash: ((((false)))) |
355 | Goal arity 1: ((((false)))) |
356 | Got clause: (_456) |
357 | Clause unifies to: ((((false)))) |
358 | gdash: (((false))) |
359 | Goal arity 1: (((false))) |
360 | Got clause: (_457) |
361 | Clause unifies to: (((false))) |
362 | gdash: ((false)) |
363 | Goal arity 1: ((false)) |
364 | Got clause: (_458) |
365 | Clause unifies to: ((false)) |
366 | gdash: (false) |
367 | Goal arity 1: (false) |
368 | Got clause: (_459) |
369 | Clause unifies to: (false) |
370 | gdash: false |
371 | Goal arity 0: false |
372 | Got clause: not (_460) |
373 | Clause unifies to: not ((((((((((false)))))))))) |
374 | gdash: saveTo ([[not (false)] , <collector>]) |
375 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
376 | Got clause: saveTo ([_461 , _462]) |
377 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
378 | Clause is native. |
379 | gdash: false |
380 | Goal arity 0: false |
381 | Got clause: not _480 |
382 | Clause unifies to: not ((((((((((false)))))))))) |
383 | gdash: not (((((((((((false))))))))))) |
384 | Goal arity 2: not (((((((((((false))))))))))) |
385 | Got clause: not (_491) |
386 | Clause unifies to: not (((((((((((false))))))))))) |
387 | gdash: ((((((((((false)))))))))) |
388 | Goal arity 1: ((((((((((false)))))))))) |
389 | Got clause: (_492) |
390 | Clause unifies to: ((((((((((false)))))))))) |
391 | gdash: (((((((((false))))))))) |
392 | Goal arity 1: (((((((((false))))))))) |
393 | Got clause: (_493) |
394 | Clause unifies to: (((((((((false))))))))) |
395 | gdash: ((((((((false)))))))) |
396 | Goal arity 1: ((((((((false)))))))) |
397 | Got clause: (_494) |
398 | Clause unifies to: ((((((((false)))))))) |
399 | gdash: (((((((false))))))) |
400 | Goal arity 1: (((((((false))))))) |
401 | Got clause: (_495) |
402 | Clause unifies to: (((((((false))))))) |
403 | gdash: ((((((false)))))) |
404 | Goal arity 1: ((((((false)))))) |
405 | Got clause: (_496) |
406 | Clause unifies to: ((((((false)))))) |
407 | gdash: (((((false))))) |
408 | Goal arity 1: (((((false))))) |
409 | Got clause: (_497) |
410 | Clause unifies to: (((((false))))) |
411 | gdash: ((((false)))) |
412 | Goal arity 1: ((((false)))) |
413 | Got clause: (_498) |
414 | Clause unifies to: ((((false)))) |
415 | gdash: (((false))) |
416 | Goal arity 1: (((false))) |
417 | Got clause: (_499) |
418 | Clause unifies to: (((false))) |
419 | gdash: ((false)) |
420 | Goal arity 1: ((false)) |
421 | Got clause: (_500) |
422 | Clause unifies to: ((false)) |
423 | gdash: (false) |
424 | Goal arity 1: (false) |
425 | Got clause: (_501) |
426 | Clause unifies to: (false) |
427 | gdash: false |
428 | Goal arity 0: false |
429 | Got clause: not (_502) |
430 | Clause unifies to: not (((((((((((false))))))))))) |
431 | gdash: saveTo ([[not (false)] , <collector>]) |
432 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
433 | Got clause: saveTo ([_503 , _504]) |
434 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
435 | Clause is native. |
436 | gdash: false |
437 | Goal arity 0: false |
438 | Got clause: not _522 |
439 | Clause unifies to: not (((((((((((false))))))))))) |
440 | gdash: not ((((((((((((false)))))))))))) |
441 | Goal arity 2: not ((((((((((((false)))))))))))) |
442 | Got clause: not (_533) |
443 | Clause unifies to: not ((((((((((((false)))))))))))) |
444 | gdash: (((((((((((false))))))))))) |
445 | Goal arity 1: (((((((((((false))))))))))) |
446 | Got clause: (_534) |
447 | Clause unifies to: (((((((((((false))))))))))) |
448 | gdash: ((((((((((false)))))))))) |
449 | Goal arity 1: ((((((((((false)))))))))) |
450 | Got clause: (_535) |
451 | Clause unifies to: ((((((((((false)))))))))) |
452 | gdash: (((((((((false))))))))) |
453 | Goal arity 1: (((((((((false))))))))) |
454 | Got clause: (_536) |
455 | Clause unifies to: (((((((((false))))))))) |
456 | gdash: ((((((((false)))))))) |
457 | Goal arity 1: ((((((((false)))))))) |
458 | Got clause: (_537) |
459 | Clause unifies to: ((((((((false)))))))) |
460 | gdash: (((((((false))))))) |
461 | Goal arity 1: (((((((false))))))) |
462 | Got clause: (_538) |
463 | Clause unifies to: (((((((false))))))) |
464 | gdash: ((((((false)))))) |
465 | Goal arity 1: ((((((false)))))) |
466 | Got clause: (_539) |
467 | Clause unifies to: ((((((false)))))) |
468 | gdash: (((((false))))) |
469 | Goal arity 1: (((((false))))) |
470 | Got clause: (_540) |
471 | Clause unifies to: (((((false))))) |
472 | gdash: ((((false)))) |
473 | Goal arity 1: ((((false)))) |
474 | Got clause: (_541) |
475 | Clause unifies to: ((((false)))) |
476 | gdash: (((false))) |
477 | Goal arity 1: (((false))) |
478 | Got clause: (_542) |
479 | Clause unifies to: (((false))) |
480 | gdash: ((false)) |
481 | Goal arity 1: ((false)) |
482 | Got clause: (_543) |
483 | Clause unifies to: ((false)) |
484 | gdash: (false) |
485 | Goal arity 1: (false) |
486 | Got clause: (_544) |
487 | Clause unifies to: (false) |
488 | gdash: false |
489 | Goal arity 0: false |
490 | Got clause: not (_545) |
491 | Clause unifies to: not ((((((((((((false)))))))))))) |
492 | gdash: saveTo ([[not (false)] , <collector>]) |
493 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
494 | Got clause: saveTo ([_546 , _547]) |
495 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
496 | Clause is native. |
497 | gdash: false |
498 | Goal arity 0: false |
499 | Got clause: not _565 |
500 | Clause unifies to: not ((((((((((((false)))))))))))) |
501 | gdash: not (((((((((((((false))))))))))))) |
502 | Goal arity 2: not (((((((((((((false))))))))))))) |
503 | Got clause: not (_576) |
504 | Clause unifies to: not (((((((((((((false))))))))))))) |
505 | gdash: ((((((((((((false)))))))))))) |
506 | Goal arity 1: ((((((((((((false)))))))))))) |
507 | Got clause: (_577) |
508 | Clause unifies to: ((((((((((((false)))))))))))) |
509 | gdash: (((((((((((false))))))))))) |
510 | Goal arity 1: (((((((((((false))))))))))) |
511 | Got clause: (_578) |
512 | Clause unifies to: (((((((((((false))))))))))) |
513 | gdash: ((((((((((false)))))))))) |
514 | Goal arity 1: ((((((((((false)))))))))) |
515 | Got clause: (_579) |
516 | Clause unifies to: ((((((((((false)))))))))) |
517 | gdash: (((((((((false))))))))) |
518 | Goal arity 1: (((((((((false))))))))) |
519 | Got clause: (_580) |
520 | Clause unifies to: (((((((((false))))))))) |
521 | gdash: ((((((((false)))))))) |
522 | Goal arity 1: ((((((((false)))))))) |
523 | Got clause: (_581) |
524 | Clause unifies to: ((((((((false)))))))) |
525 | gdash: (((((((false))))))) |
526 | Goal arity 1: (((((((false))))))) |
527 | Got clause: (_582) |
528 | Clause unifies to: (((((((false))))))) |
529 | gdash: ((((((false)))))) |
530 | Goal arity 1: ((((((false)))))) |
531 | Got clause: (_583) |
532 | Clause unifies to: ((((((false)))))) |
533 | gdash: (((((false))))) |
534 | Goal arity 1: (((((false))))) |
535 | Got clause: (_584) |
536 | Clause unifies to: (((((false))))) |
537 | gdash: ((((false)))) |
538 | Goal arity 1: ((((false)))) |
539 | Got clause: (_585) |
540 | Clause unifies to: ((((false)))) |
541 | gdash: (((false))) |
542 | Goal arity 1: (((false))) |
543 | Got clause: (_586) |
544 | Clause unifies to: (((false))) |
545 | gdash: ((false)) |
546 | Goal arity 1: ((false)) |
547 | Got clause: (_587) |
548 | Clause unifies to: ((false)) |
549 | gdash: (false) |
550 | Goal arity 1: (false) |
551 | Got clause: (_588) |
552 | Clause unifies to: (false) |
553 | gdash: false |
554 | Goal arity 0: false |
555 | Got clause: not (_589) |
556 | Clause unifies to: not (((((((((((((false))))))))))))) |
557 | gdash: saveTo ([[not (false)] , <collector>]) |
558 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
559 | Got clause: saveTo ([_590 , _591]) |
560 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
561 | Clause is native. |
562 | gdash: false |
563 | Goal arity 0: false |
564 | Got clause: not _609 |
565 | Clause unifies to: not (((((((((((((false))))))))))))) |
566 | gdash: not ((((((((((((((false)))))))))))))) |
567 | Goal arity 2: not ((((((((((((((false)))))))))))))) |
568 | Got clause: not (_620) |
569 | Clause unifies to: not ((((((((((((((false)))))))))))))) |
570 | gdash: (((((((((((((false))))))))))))) |
571 | Goal arity 1: (((((((((((((false))))))))))))) |
572 | Got clause: (_621) |
573 | Clause unifies to: (((((((((((((false))))))))))))) |
574 | gdash: ((((((((((((false)))))))))))) |
575 | Goal arity 1: ((((((((((((false)))))))))))) |
576 | Got clause: (_622) |
577 | Clause unifies to: ((((((((((((false)))))))))))) |
578 | gdash: (((((((((((false))))))))))) |
579 | Goal arity 1: (((((((((((false))))))))))) |
580 | Got clause: (_623) |
581 | Clause unifies to: (((((((((((false))))))))))) |
582 | gdash: ((((((((((false)))))))))) |
583 | Goal arity 1: ((((((((((false)))))))))) |
584 | Got clause: (_624) |
585 | Clause unifies to: ((((((((((false)))))))))) |
586 | gdash: (((((((((false))))))))) |
587 | Goal arity 1: (((((((((false))))))))) |
588 | Got clause: (_625) |
589 | Clause unifies to: (((((((((false))))))))) |
590 | gdash: ((((((((false)))))))) |
591 | Goal arity 1: ((((((((false)))))))) |
592 | Got clause: (_626) |
593 | Clause unifies to: ((((((((false)))))))) |
594 | gdash: (((((((false))))))) |
595 | Goal arity 1: (((((((false))))))) |
596 | Got clause: (_627) |
597 | Clause unifies to: (((((((false))))))) |
598 | gdash: ((((((false)))))) |
599 | Goal arity 1: ((((((false)))))) |
600 | Got clause: (_628) |
601 | Clause unifies to: ((((((false)))))) |
602 | gdash: (((((false))))) |
603 | Goal arity 1: (((((false))))) |
604 | Got clause: (_629) |
605 | Clause unifies to: (((((false))))) |
606 | gdash: ((((false)))) |
607 | Goal arity 1: ((((false)))) |
608 | Got clause: (_630) |
609 | Clause unifies to: ((((false)))) |
610 | gdash: (((false))) |
611 | Goal arity 1: (((false))) |
612 | Got clause: (_631) |
613 | Clause unifies to: (((false))) |
614 | gdash: ((false)) |
615 | Goal arity 1: ((false)) |
616 | Got clause: (_632) |
617 | Clause unifies to: ((false)) |
618 | gdash: (false) |
619 | Goal arity 1: (false) |
620 | Got clause: (_633) |
621 | Clause unifies to: (false) |
622 | gdash: false |
623 | Goal arity 0: false |
624 | Got clause: not (_634) |
625 | Clause unifies to: not ((((((((((((((false)))))))))))))) |
626 | gdash: saveTo ([[not (false)] , <collector>]) |
627 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
628 | Got clause: saveTo ([_635 , _636]) |
629 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
630 | Clause is native. |
631 | gdash: false |
632 | Goal arity 0: false |
633 | Got clause: not _654 |
634 | Clause unifies to: not ((((((((((((((false)))))))))))))) |
635 | gdash: not (((((((((((((((false))))))))))))))) |
636 | Goal arity 2: not (((((((((((((((false))))))))))))))) |
637 | Got clause: not (_665) |
638 | Clause unifies to: not (((((((((((((((false))))))))))))))) |
639 | gdash: ((((((((((((((false)))))))))))))) |
640 | Goal arity 1: ((((((((((((((false)))))))))))))) |
641 | Got clause: (_666) |
642 | Clause unifies to: ((((((((((((((false)))))))))))))) |
643 | gdash: (((((((((((((false))))))))))))) |
644 | Goal arity 1: (((((((((((((false))))))))))))) |
645 | Got clause: (_667) |
646 | Clause unifies to: (((((((((((((false))))))))))))) |
647 | gdash: ((((((((((((false)))))))))))) |
648 | Goal arity 1: ((((((((((((false)))))))))))) |
649 | Got clause: (_668) |
650 | Clause unifies to: ((((((((((((false)))))))))))) |
651 | gdash: (((((((((((false))))))))))) |
652 | Goal arity 1: (((((((((((false))))))))))) |
653 | Got clause: (_669) |
654 | Clause unifies to: (((((((((((false))))))))))) |
655 | gdash: ((((((((((false)))))))))) |
656 | Goal arity 1: ((((((((((false)))))))))) |
657 | Got clause: (_670) |
658 | Clause unifies to: ((((((((((false)))))))))) |
659 | gdash: (((((((((false))))))))) |
660 | Goal arity 1: (((((((((false))))))))) |
661 | Got clause: (_671) |
662 | Clause unifies to: (((((((((false))))))))) |
663 | gdash: ((((((((false)))))))) |
664 | Goal arity 1: ((((((((false)))))))) |
665 | Got clause: (_672) |
666 | Clause unifies to: ((((((((false)))))))) |
667 | gdash: (((((((false))))))) |
668 | Goal arity 1: (((((((false))))))) |
669 | Got clause: (_673) |
670 | Clause unifies to: (((((((false))))))) |
671 | gdash: ((((((false)))))) |
672 | Goal arity 1: ((((((false)))))) |
673 | Got clause: (_674) |
674 | Clause unifies to: ((((((false)))))) |
675 | gdash: (((((false))))) |
676 | Goal arity 1: (((((false))))) |
677 | Got clause: (_675) |
678 | Clause unifies to: (((((false))))) |
679 | gdash: ((((false)))) |
680 | Goal arity 1: ((((false)))) |
681 | Got clause: (_676) |
682 | Clause unifies to: ((((false)))) |
683 | gdash: (((false))) |
684 | Goal arity 1: (((false))) |
685 | Got clause: (_677) |
686 | Clause unifies to: (((false))) |
687 | gdash: ((false)) |
688 | Goal arity 1: ((false)) |
689 | Got clause: (_678) |
690 | Clause unifies to: ((false)) |
691 | gdash: (false) |
692 | Goal arity 1: (false) |
693 | Got clause: (_679) |
694 | Clause unifies to: (false) |
695 | gdash: false |
696 | Goal arity 0: false |
697 | Got clause: not (_680) |
698 | Clause unifies to: not (((((((((((((((false))))))))))))))) |
699 | gdash: saveTo ([[not (false)] , <collector>]) |
700 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
701 | Got clause: saveTo ([_681 , _682]) |
702 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
703 | Clause is native. |
704 | gdash: false |
705 | Goal arity 0: false |
706 | Got clause: not _700 |
707 | Clause unifies to: not (((((((((((((((false))))))))))))))) |
708 | gdash: not ((((((((((((((((false)))))))))))))))) |
709 | Goal arity 2: not ((((((((((((((((false)))))))))))))))) |
710 | Got clause: not (_711) |
711 | Clause unifies to: not ((((((((((((((((false)))))))))))))))) |
712 | gdash: (((((((((((((((false))))))))))))))) |
713 | Goal arity 1: (((((((((((((((false))))))))))))))) |
714 | Got clause: (_712) |
715 | Clause unifies to: (((((((((((((((false))))))))))))))) |
716 | gdash: ((((((((((((((false)))))))))))))) |
717 | Goal arity 1: ((((((((((((((false)))))))))))))) |
718 | Got clause: (_713) |
719 | Clause unifies to: ((((((((((((((false)))))))))))))) |
720 | gdash: (((((((((((((false))))))))))))) |
721 | Goal arity 1: (((((((((((((false))))))))))))) |
722 | Got clause: (_714) |
723 | Clause unifies to: (((((((((((((false))))))))))))) |
724 | gdash: ((((((((((((false)))))))))))) |
725 | Goal arity 1: ((((((((((((false)))))))))))) |
726 | Got clause: (_715) |
727 | Clause unifies to: ((((((((((((false)))))))))))) |
728 | gdash: (((((((((((false))))))))))) |
729 | Goal arity 1: (((((((((((false))))))))))) |
730 | Got clause: (_716) |
731 | Clause unifies to: (((((((((((false))))))))))) |
732 | gdash: ((((((((((false)))))))))) |
733 | Goal arity 1: ((((((((((false)))))))))) |
734 | Got clause: (_717) |
735 | Clause unifies to: ((((((((((false)))))))))) |
736 | gdash: (((((((((false))))))))) |
737 | Goal arity 1: (((((((((false))))))))) |
738 | Got clause: (_718) |
739 | Clause unifies to: (((((((((false))))))))) |
740 | gdash: ((((((((false)))))))) |
741 | Goal arity 1: ((((((((false)))))))) |
742 | Got clause: (_719) |
743 | Clause unifies to: ((((((((false)))))))) |
744 | gdash: (((((((false))))))) |
745 | Goal arity 1: (((((((false))))))) |
746 | Got clause: (_720) |
747 | Clause unifies to: (((((((false))))))) |
748 | gdash: ((((((false)))))) |
749 | Goal arity 1: ((((((false)))))) |
750 | Got clause: (_721) |
751 | Clause unifies to: ((((((false)))))) |
752 | gdash: (((((false))))) |
753 | Goal arity 1: (((((false))))) |
754 | Got clause: (_722) |
755 | Clause unifies to: (((((false))))) |
756 | gdash: ((((false)))) |
757 | Goal arity 1: ((((false)))) |
758 | Got clause: (_723) |
759 | Clause unifies to: ((((false)))) |
760 | gdash: (((false))) |
761 | Goal arity 1: (((false))) |
762 | Got clause: (_724) |
763 | Clause unifies to: (((false))) |
764 | gdash: ((false)) |
765 | Goal arity 1: ((false)) |
766 | Got clause: (_725) |
767 | Clause unifies to: ((false)) |
768 | gdash: (false) |
769 | Goal arity 1: (false) |
770 | Got clause: (_726) |
771 | Clause unifies to: (false) |
772 | gdash: false |
773 | Goal arity 0: false |
774 | Got clause: not (_727) |
775 | Clause unifies to: not ((((((((((((((((false)))))))))))))))) |
776 | gdash: saveTo ([[not (false)] , <collector>]) |
777 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
778 | Got clause: saveTo ([_728 , _729]) |
779 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
780 | Clause is native. |
781 | gdash: false |
782 | Goal arity 0: false |
783 | Got clause: not _747 |
784 | Clause unifies to: not ((((((((((((((((false)))))))))))))))) |
785 | gdash: not (((((((((((((((((false))))))))))))))))) |
786 | Goal arity 2: not (((((((((((((((((false))))))))))))))))) |
787 | Got clause: not (_758) |
788 | Clause unifies to: not (((((((((((((((((false))))))))))))))))) |
789 | gdash: ((((((((((((((((false)))))))))))))))) |
790 | Goal arity 1: ((((((((((((((((false)))))))))))))))) |
791 | Got clause: (_759) |
792 | Clause unifies to: ((((((((((((((((false)))))))))))))))) |
793 | gdash: (((((((((((((((false))))))))))))))) |
794 | Goal arity 1: (((((((((((((((false))))))))))))))) |
795 | Got clause: (_760) |
796 | Clause unifies to: (((((((((((((((false))))))))))))))) |
797 | gdash: ((((((((((((((false)))))))))))))) |
798 | Goal arity 1: ((((((((((((((false)))))))))))))) |
799 | Got clause: (_761) |
800 | Clause unifies to: ((((((((((((((false)))))))))))))) |
801 | gdash: (((((((((((((false))))))))))))) |
802 | Goal arity 1: (((((((((((((false))))))))))))) |
803 | Got clause: (_762) |
804 | Clause unifies to: (((((((((((((false))))))))))))) |
805 | gdash: ((((((((((((false)))))))))))) |
806 | Goal arity 1: ((((((((((((false)))))))))))) |
807 | Got clause: (_763) |
808 | Clause unifies to: ((((((((((((false)))))))))))) |
809 | gdash: (((((((((((false))))))))))) |
810 | Goal arity 1: (((((((((((false))))))))))) |
811 | Got clause: (_764) |
812 | Clause unifies to: (((((((((((false))))))))))) |
813 | gdash: ((((((((((false)))))))))) |
814 | Goal arity 1: ((((((((((false)))))))))) |
815 | Got clause: (_765) |
816 | Clause unifies to: ((((((((((false)))))))))) |
817 | gdash: (((((((((false))))))))) |
818 | Goal arity 1: (((((((((false))))))))) |
819 | Got clause: (_766) |
820 | Clause unifies to: (((((((((false))))))))) |
821 | gdash: ((((((((false)))))))) |
822 | Goal arity 1: ((((((((false)))))))) |
823 | Got clause: (_767) |
824 | Clause unifies to: ((((((((false)))))))) |
825 | gdash: (((((((false))))))) |
826 | Goal arity 1: (((((((false))))))) |
827 | Got clause: (_768) |
828 | Clause unifies to: (((((((false))))))) |
829 | gdash: ((((((false)))))) |
830 | Goal arity 1: ((((((false)))))) |
831 | Got clause: (_769) |
832 | Clause unifies to: ((((((false)))))) |
833 | gdash: (((((false))))) |
834 | Goal arity 1: (((((false))))) |
835 | Got clause: (_770) |
836 | Clause unifies to: (((((false))))) |
837 | gdash: ((((false)))) |
838 | Goal arity 1: ((((false)))) |
839 | Got clause: (_771) |
840 | Clause unifies to: ((((false)))) |
841 | gdash: (((false))) |
842 | Goal arity 1: (((false))) |
843 | Got clause: (_772) |
844 | Clause unifies to: (((false))) |
845 | gdash: ((false)) |
846 | Goal arity 1: ((false)) |
847 | Got clause: (_773) |
848 | Clause unifies to: ((false)) |
849 | gdash: (false) |
850 | Goal arity 1: (false) |
851 | Got clause: (_774) |
852 | Clause unifies to: (false) |
853 | gdash: false |
854 | Goal arity 0: false |
855 | Got clause: not (_775) |
856 | Clause unifies to: not (((((((((((((((((false))))))))))))))))) |
857 | gdash: saveTo ([[not (false)] , <collector>]) |
858 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
859 | Got clause: saveTo ([_776 , _777]) |
860 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
861 | Clause is native. |
862 | gdash: false |
863 | Goal arity 0: false |
864 | Got clause: not _795 |
865 | Clause unifies to: not (((((((((((((((((false))))))))))))))))) |
866 | gdash: not ((((((((((((((((((false)))))))))))))))))) |
867 | Goal arity 2: not ((((((((((((((((((false)))))))))))))))))) |
868 | Got clause: not (_806) |
869 | Clause unifies to: not ((((((((((((((((((false)))))))))))))))))) |
870 | gdash: (((((((((((((((((false))))))))))))))))) |
871 | Goal arity 1: (((((((((((((((((false))))))))))))))))) |
872 | Got clause: (_807) |
873 | Clause unifies to: (((((((((((((((((false))))))))))))))))) |
874 | gdash: ((((((((((((((((false)))))))))))))))) |
875 | Goal arity 1: ((((((((((((((((false)))))))))))))))) |
876 | Got clause: (_808) |
877 | Clause unifies to: ((((((((((((((((false)))))))))))))))) |
878 | gdash: (((((((((((((((false))))))))))))))) |
879 | Goal arity 1: (((((((((((((((false))))))))))))))) |
880 | Got clause: (_809) |
881 | Clause unifies to: (((((((((((((((false))))))))))))))) |
882 | gdash: ((((((((((((((false)))))))))))))) |
883 | Goal arity 1: ((((((((((((((false)))))))))))))) |
884 | Got clause: (_810) |
885 | Clause unifies to: ((((((((((((((false)))))))))))))) |
886 | gdash: (((((((((((((false))))))))))))) |
887 | Goal arity 1: (((((((((((((false))))))))))))) |
888 | Got clause: (_811) |
889 | Clause unifies to: (((((((((((((false))))))))))))) |
890 | gdash: ((((((((((((false)))))))))))) |
891 | Goal arity 1: ((((((((((((false)))))))))))) |
892 | Got clause: (_812) |
893 | Clause unifies to: ((((((((((((false)))))))))))) |
894 | gdash: (((((((((((false))))))))))) |
895 | Goal arity 1: (((((((((((false))))))))))) |
896 | Got clause: (_813) |
897 | Clause unifies to: (((((((((((false))))))))))) |
898 | gdash: ((((((((((false)))))))))) |
899 | Goal arity 1: ((((((((((false)))))))))) |
900 | Got clause: (_814) |
901 | Clause unifies to: ((((((((((false)))))))))) |
902 | gdash: (((((((((false))))))))) |
903 | Goal arity 1: (((((((((false))))))))) |
904 | Got clause: (_815) |
905 | Clause unifies to: (((((((((false))))))))) |
906 | gdash: ((((((((false)))))))) |
907 | Goal arity 1: ((((((((false)))))))) |
908 | Got clause: (_816) |
909 | Clause unifies to: ((((((((false)))))))) |
910 | gdash: (((((((false))))))) |
911 | Goal arity 1: (((((((false))))))) |
912 | Got clause: (_817) |
913 | Clause unifies to: (((((((false))))))) |
914 | gdash: ((((((false)))))) |
915 | Goal arity 1: ((((((false)))))) |
916 | Got clause: (_818) |
917 | Clause unifies to: ((((((false)))))) |
918 | gdash: (((((false))))) |
919 | Goal arity 1: (((((false))))) |
920 | Got clause: (_819) |
921 | Clause unifies to: (((((false))))) |
922 | gdash: ((((false)))) |
923 | Goal arity 1: ((((false)))) |
924 | Got clause: (_820) |
925 | Clause unifies to: ((((false)))) |
926 | gdash: (((false))) |
927 | Goal arity 1: (((false))) |
928 | Got clause: (_821) |
929 | Clause unifies to: (((false))) |
930 | gdash: ((false)) |
931 | Goal arity 1: ((false)) |
932 | Got clause: (_822) |
933 | Clause unifies to: ((false)) |
934 | gdash: (false) |
935 | Goal arity 1: (false) |
936 | Got clause: (_823) |
937 | Clause unifies to: (false) |
938 | gdash: false |
939 | Goal arity 0: false |
940 | Got clause: not (_824) |
941 | Clause unifies to: not ((((((((((((((((((false)))))))))))))))))) |
942 | gdash: saveTo ([[not (false)] , <collector>]) |
943 | Goal arity 2: saveTo ([[not (false)] , <collector>]) |
944 | Got clause: saveTo ([_825 , _826]) |
945 | Clause unifies to: saveTo ([[not (false)] , <collector>]) |
946 | Clause is native. |
947 | gdash: false |
948 | Goal arity 0: false |
949 | Got clause: not _844 |
950 | Clause unifies to: not ((((((((((((((((((false)))))))))))))))))) |
951 | gdash: not (((((((((((((((((((false))))))))))))))))))) |
952 | Goal arity 2: not (((((((((((((((((((false))))))))))))))))))) |
953 | Got clause: not (_855) |
954 | Clause unifies to: not (((((((((((((((((((false))))))))))))))))))) |
955 | gdash: ((((((((((((((((((false)))))))))))))))))) |
956 | Goal arity 1: ((((((((((((((((((false)))))))))))))))))) |
957 | Got clause: (_856) |
958 | Clause unifies to: ((((((((((((((((((false)))))))))))))))))) |
959 | gdash: (((((((((((((((((false))))))))))))))))) |
960 | Goal arity 1: (((((((((((((((((false))))))))))))))))) |
961 | Got clause: (_857) |
962 | Clause unifies to: (((((((((((((((((false))))))))))))))))) |
963 | gdash: ((((((((((((((((false)))))))))))))))) |
964 | Goal arity 1: ((((((((((((((((false)))))))))))))))) |
965 | Got clause: (_858) |
966 | Clause unifies to: ((((((((((((((((false)))))))))))))))) |
967 | gdash: (((((((((((((((false))))))))))))))) |
968 | Goal arity 1: (((((((((((((((false))))))))))))))) |
969 | Got clause: (_859) |
970 | Clause unifies to: (((((((((((((((false))))))))))))))) |
971 | gdash: ((((((((((((((false)))))))))))))) |
972 | Goal arity 1: ((((((((((((((false)))))))))))))) |
973 | Got clause: (_860) |
974 | Clause unifies to: ((((((((((((((false)))))))))))))) |
975 | gdash: (((((((((((((false))))))))))))) |
976 | Goal arity 1: (((((((((((((false))))))))))))) |
977 | Got clause: (_861) |
978 | Clause unifies to: (((((((((((((false))))))))))))) |
979 | gdash: ((((((((((((false)))))))))))) |
980 | Goal arity 1: ((((((((((((false)))))))))))) |
981 | Got clause: (_862) |
982 | Clause unifies to: ((((((((((((false)))))))))))) |
983 | gdash: (((((((((((false))))))))))) |
984 | Goal arity 1: (((((((((((false))))))))))) |
985 | Got clause: (_863) |
986 | Clause unifies to: (((((((((((false))))))))))) |
987 | gdash: ((((((((((false)))))))))) |
988 | Goal arity 1: ((((((((((false)))))))))) |
989 | Got clause: (_864) |
990 | Clause unifies to: ((((((((((false)))))))))) |
991 | gdash: (((((((((false))))))))) |
992 | Goal arity 1: (((((((((false))))))))) |
993 | Got clause: (_865) |
994 | Clause unifies to: (((((((((false))))))))) |
995 | gdash: ((((((((false)))))))) |
996 | Goal arity 1: ((((((((false)))))))) |
997 | Got clause: (_866) |
998 | Clause unifies to: ((((((((false)))))))) |
999 | gdash: (((((((false))))))) |
1000 | Goal arity 1: (((((((false))))))) |
1001 | Got clause: (_867) |
1002 | Clause unifies to: (((((((false))))))) |
1003 | [Log overflow]``` |
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: | #3000329 |
| Snippet name: | Answer for stefanreich (>> log theory "stuff that verifies") |
| Eternal ID of this version: | #3000329/1 |
| Text MD5: | e72d2f2679e184120f39c9e776c7ef47 |
| 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-13 23:27:47 |
| Source code size: | 54353 bytes / 1003 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 537 / 121 |
| Referenced in: | [show references] |