1 | |
2 | Starting on goal: Prolog$Goal(car=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: "[]"(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 | New goal: true |
33 | Trying clause: nativeTest2 :- native |
34 | No match for clause. |
35 | Trying clause: nativeFail :- native |
36 | No match for clause. |
37 | Trying clause: "[]"(_28, "=", intmul, "()"("[]"(_29, ",", _30))) :- native |
38 | No match for clause. |
39 | Trying clause: "[]"(_31, "=", intdiv, "()"("[]"(_32, ",", _33))) :- native |
40 | No match for clause. |
41 | Trying clause: "[]"(_34, "=", intadd, "()"("[]"(_35, ",", _36))) :- native |
42 | No match for clause. |
43 | Trying clause: "[]"(_37, "=", intminus, "()"("[]"(_38, ",", _39))) :- native |
44 | No match for clause. |
45 | Trying clause: "[]"(_40, is, greater, than, _41) :- native |
46 | No match for clause. |
47 | Trying clause: "[]"(head, _42, exists, in, theory, _43) :- native |
48 | No match for clause. |
49 | Trying clause: "[]"(_44, "=", all, theory, names) :- native |
50 | No match for clause. |
51 | Trying clause: "[]"(_45, "=", tocons, "()"(_46)) :- native |
52 | No match for clause. |
53 | Trying clause: "[]"(_47, in, _48) :- "[]"(_48, "=", tocons, "()"(_49)); "[]"(_47, "=", iter, _48) |
54 | No match for clause. |
55 | Trying clause: "[]"(_50, or, _51) :- _50 |
56 | No match for clause. |
57 | Trying clause: "[]"(_52, or, _53) :- _53 |
58 | No match for clause. |
59 | Trying clause: "[]"(_54, "=", iter, "[]"(cons, _54, _55)) |
60 | No match for clause. |
61 | Trying clause: "[]"(_56, "=", iter, "[]"(cons, _57, _58)) :- "[]"(_56, "=", iter, _58) |
62 | No match for clause. |
63 | Trying clause: "[]"(verify, "[]"(_59, should, be, true)) :- _59 |
64 | No match for clause. |
65 | Trying clause: "[]"(_60, "=", smartmul, "()"("[]"(_61, ",", _62))) :- "[]"(_60, "=", intmul, "()"("[]"(_61, ",", _62))) |
66 | No match for clause. |
67 | Trying clause: "[]"(_63, "=", smartmul, "()"("[]"(_64, ",", _65))) :- "[]"(_64, "=", intdiv, "()"("[]"(_63, ",", _65))) |
68 | No match for clause. |
69 | Trying clause: "[]"(_66, "=", smartmul, "()"("[]"(_67, ",", _68))) :- "[]"(_68, "=", intdiv, "()"("[]"(_66, ",", _67))) |
70 | No match for clause. |
71 | Trying clause: "[]"(verify, "[]"(_69, should, be, false)) :- "[]"(not, "()"(_69)) |
72 | No match for clause. |
73 | Trying clause: "()"(_70) :- _70 |
74 | No match for clause. |
75 | Trying clause: "[]"("\"and\"", is, a, fill, word) |
76 | No match for clause. |
77 | Trying clause: "[]"("\",\"", is, a, fill, word) |
78 | No match for clause. |
79 | Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
80 | No match for clause. |
81 | Trying clause: "[]"(mrshutco, is, a, human) |
82 | No match for clause. |
83 | Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
84 | No match for clause. |
85 | Trying clause: "[]"(not, "()"(_71)) :- _71; "!"; false |
86 | No match for clause. |
87 | Trying clause: "[]"(not, "()"(_72)) |
88 | No match for clause. |
89 | Trying clause: "[]"(_73, and, _74) :- _73; _74 |
90 | No match for clause. |
91 | Trying clause: "[]"(_75, is, in, list, _76) :- "[]"(_77, "=", tocons, "()"(_76)); "[]"(_75, "=", iter, _77) |
92 | No match for clause. |
93 | Trying clause: "[]"(feet, is, the, plural, of, foot) |
94 | No match for clause. |
95 | Trying clause: "[]"(bits, is, the, plural, of, bit) |
96 | No match for clause. |
97 | Trying clause: "[]"(lasagna, is, tasty) |
98 | No match for clause. |
99 | Trying clause: "[]"(_78, or, _79) :- _79 |
100 | 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: | #3000219 |
| Snippet name: | Answer for stefanreich (>> log) |
| Eternal ID of this version: | #3000219/1 |
| Text MD5: | 99ad899c084329f844c25bdb0a8d134e |
| 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:35:12 |
| Source code size: | 4512 bytes / 100 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 416 / 87 |
| Referenced in: | [show references] |