1 | |
2 | Starting on goal: Prolog$Goal(car=l("[]", Prolog$Var(id=0L, instance=r3), "is", "in", "list", l("[]", "hello", ",", "world"))) |
3 | Trying clause: "[]"(_1, is, greater, than, _2) :- native |
4 | No match for clause. |
5 | Trying clause: "[]"(_3, "=", all, theory, names) :- native |
6 | No match for clause. |
7 | Trying clause: "[]"("\"and\"", is, a, fill, word) |
8 | No match for clause. |
9 | Trying clause: "[]"("\",\"", is, a, fill, word) |
10 | No match for clause. |
11 | Trying clause: "[]"(_4, is, in, list, _5) :- "[]"(_5, "=", tocons, "()"(_6)); "[]"(_4, "=", iter, _5) |
12 | New goal: "[]"($x, is, in, list, "[]"(hello, ",", world)) |
13 | Trying clause: "[]"(_7, "=", intmul, "()"("[]"(_8, ",", _9))) :- native |
14 | No match for clause. |
15 | Trying clause: "[]"(_10, "=", intdiv, "()"("[]"(_11, ",", _12))) :- native |
16 | No match for clause. |
17 | Trying clause: "[]"(_13, "=", intadd, "()"("[]"(_14, ",", _15))) :- native |
18 | No match for clause. |
19 | Trying clause: "[]"(_16, "=", intminus, "()"("[]"(_17, ",", _18))) :- native |
20 | No match for clause. |
21 | Trying clause: "[]"(_19, "=", tocons, "()"(_20)) :- native |
22 | Native clause fails |
23 | Trying clause: "[]"(_21, "=", smartmul, "()"("[]"(_22, ",", _23))) :- "[]"(_21, "=", intmul, "()"("[]"(_22, ",", _23))) |
24 | No match for clause. |
25 | Trying clause: "[]"(_24, "=", smartmul, "()"("[]"(_25, ",", _26))) :- "[]"(_25, "=", intdiv, "()"("[]"(_24, ",", _26))) |
26 | No match for clause. |
27 | Trying clause: "[]"(_27, "=", smartmul, "()"("[]"(_28, ",", _29))) :- "[]"(_29, "=", intdiv, "()"("[]"(_27, ",", _28))) |
28 | No match for clause. |
29 | Trying clause: "[]"("[]"(not, "()"(true)), should, be, false) |
30 | No match for clause. |
31 | Trying clause: "[]"(mrshutco, is, a, human) |
32 | No match for clause. |
33 | Trying clause: "[]"("[]"(not, "()"(false)), should, be, true) |
34 | No match for clause. |
35 | 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: | #3000215 |
| Snippet name: | Answer for stefanreich (>> log) |
| Eternal ID of this version: | #3000215/1 |
| Text MD5: | f318b5648729ee6a8b5c5fcdb1366f59 |
| 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-05 20:52:44 |
| Source code size: | 1771 bytes / 35 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 538 / 125 |
| Referenced in: | [show references] |