1 | |
2 | Starting on goal: Prolog$Goal(car=l("[]", Prolog$Var(id=0L, instance=r3), "=", l("[]", Prolog$Var(id=0L, instance=r5), "|", l("[]", r5, "is", "tasty")))) |
3 | Goal arity 3: "[]"($list, "=", "[]"($x, "|", "[]"($x, is, tasty))) |
4 | nextSolution |
5 | Goal: "[]"($list, "=", "[]"($x, "|", "[]"($x, is, tasty))). Got clause: "[]"(_7, "=", "[]"(_8, "|", _9)) :- "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", _9, ",", _10))), or, true); "[]"(_7, "=", retrieve, "()"(_10)) |
6 | Clause unifies to: "[]"($list, "=", "[]"(_8, "|", "[]"(_8, is, tasty))) :- "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)) |
7 | gdash: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)) |
8 | Goal arity 4: "[]"(_10, "=", new, collector) |
9 | New goal: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)) |
10 | Goal: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)). Got clause: "[]"(_11, "=", new, collector) :- native |
11 | Clause unifies to: "[]"(_10, "=", new, collector) :- native |
12 | Clause is native. |
13 | gdash: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)) |
14 | Goal arity 3: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) |
15 | New goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)) |
16 | Goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_25, or, _26) :- _25 |
17 | Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) :- "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) |
18 | gdash: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___)) |
19 | Goal arity 2: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) |
20 | New goal: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___)) |
21 | Goal: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_33, ",", _34, ",", _35))) :- _34; "[]"(saveTo, "()"("[]"(_33, ",", _35))); false |
22 | Clause unifies to: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) :- "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false |
23 | gdash: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) |
24 | Goal arity 3: "[]"(_8, is, tasty) |
25 | New goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) |
26 | Goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"("[]"(ice, cream), is, tasty) |
27 | Clause unifies to: "[]"("[]"(ice, cream), is, tasty) |
28 | gdash: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) |
29 | Goal arity 2: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))) |
30 | New goal: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) |
31 | Goal: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_36, ",", _37))) :- native |
32 | Clause unifies to: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))) :- native |
33 | Clause is native. |
34 | gdash: false; "[]"($list, "=", retrieve, "()"(___)) |
35 | Goal arity 0: false |
36 | New goal: false; "[]"($list, "=", retrieve, "()"(___)) |
37 | Goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty) |
38 | Clause unifies to: "[]"(lasagna, is, tasty) |
39 | gdash: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) |
40 | Goal arity 2: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))) |
41 | New goal: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) |
42 | Goal: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_60, ",", _61))) :- native |
43 | Clause unifies to: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))) :- native |
44 | Clause is native. |
45 | gdash: false; "[]"($list, "=", retrieve, "()"(___)) |
46 | Goal arity 0: false |
47 | New goal: false; "[]"($list, "=", retrieve, "()"(___)) |
48 | Goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_86, or, _87) :- _87 |
49 | Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) :- true |
50 | gdash: true; "[]"($list, "=", retrieve, "()"(___)) |
51 | Goal arity 0: true |
52 | New goal: true; "[]"($list, "=", retrieve, "()"(___)) |
53 | Goal: true; "[]"($list, "=", retrieve, "()"(___)). Got clause: true |
54 | Clause unifies to: true |
55 | gdash: "[]"($list, "=", retrieve, "()"(___)) |
56 | Goal arity 4: "[]"($list, "=", retrieve, "()"(___)) |
57 | New goal: "[]"($list, "=", retrieve, "()"(___)) |
58 | Goal: "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_89, "=", _90, "()"(_91)) :- native |
59 | Clause unifies to: "[]"($list, "=", retrieve, "()"(___)) :- native |
60 | Clause is native. |
61 | gdash: null |
62 | SUCCESS! |
63 | solution found in step 77 |
64 | nextSolution |
65 | Done with goal! |
66 | No solution |
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: | #3000244 |
Snippet name: | Answer for stefanreich (>> log) |
Eternal ID of this version: | #3000244/1 |
Text MD5: | 66b4a24922946dfb2ca2751960e6d529 |
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-10 00:37:11 |
Source code size: | 5921 bytes / 66 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 582 / 114 |
Referenced in: | [show references] |