Starting on goal: Prolog$Goal(car=l("[]", Prolog$Var(id=0L, instance=r3), "=", l("[]", Prolog$Var(id=0L, instance=r5), "|", l("[]", r5, "is", "tasty")))) Goal arity 3: "[]"($list, "=", "[]"($x, "|", "[]"($x, is, tasty))) nextSolution Goal: "[]"($list, "=", "[]"($x, "|", "[]"($x, is, tasty))). Got clause: "[]"(_7, "=", "[]"(_8, "|", _9)) :- "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", _9, ",", _10))), or, true); "[]"(_7, "=", retrieve, "()"(_10)) Clause unifies to: "[]"($list, "=", "[]"(_8, "|", "[]"(_8, is, tasty))) :- "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)) gdash: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)) Goal arity 4: "[]"(_10, "=", new, collector) New goal: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)) Goal: "[]"(_10, "=", new, collector); "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", _10))), or, true); "[]"($list, "=", retrieve, "()"(_10)). Got clause: "[]"(_11, "=", new, collector) :- native Clause unifies to: "[]"(_10, "=", new, collector) :- native Clause is native. gdash: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)) Goal arity 3: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) New goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)) Goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_25, or, _26) :- _25 Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) :- "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) gdash: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___)) Goal arity 2: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) New goal: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___)) Goal: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(forall_impl, "()"("[]"(_33, ",", _34, ",", _35))) :- _34; "[]"(saveTo, "()"("[]"(_33, ",", _35))); false Clause unifies to: "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))) :- "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false gdash: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) Goal arity 3: "[]"(_8, is, tasty) New goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) Goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"("[]"(ice, cream), is, tasty) Clause unifies to: "[]"("[]"(ice, cream), is, tasty) gdash: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) Goal arity 2: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))) New goal: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) Goal: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_36, ",", _37))) :- native Clause unifies to: "[]"(saveTo, "()"("[]"("[]"(ice, cream), ",", ___))) :- native Clause is native. gdash: false; "[]"($list, "=", retrieve, "()"(___)) Goal arity 0: false New goal: false; "[]"($list, "=", retrieve, "()"(___)) Goal: "[]"(_8, is, tasty); "[]"(saveTo, "()"("[]"(_8, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(lasagna, is, tasty) Clause unifies to: "[]"(lasagna, is, tasty) gdash: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) Goal arity 2: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))) New goal: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)) Goal: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))); false; "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(saveTo, "()"("[]"(_60, ",", _61))) :- native Clause unifies to: "[]"(saveTo, "()"("[]"(lasagna, ",", ___))) :- native Clause is native. gdash: false; "[]"($list, "=", retrieve, "()"(___)) Goal arity 0: false New goal: false; "[]"($list, "=", retrieve, "()"(___)) Goal: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true); "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_86, or, _87) :- _87 Clause unifies to: "[]"("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))), or, true) :- true gdash: true; "[]"($list, "=", retrieve, "()"(___)) Goal arity 0: true New goal: true; "[]"($list, "=", retrieve, "()"(___)) Goal: true; "[]"($list, "=", retrieve, "()"(___)). Got clause: true Clause unifies to: true gdash: "[]"($list, "=", retrieve, "()"(___)) Goal arity 4: "[]"($list, "=", retrieve, "()"(___)) New goal: "[]"($list, "=", retrieve, "()"(___)) Goal: "[]"($list, "=", retrieve, "()"(___)). Got clause: "[]"(_89, "=", _90, "()"(_91)) :- native Clause unifies to: "[]"($list, "=", retrieve, "()"(___)) :- native Clause is native. gdash: null SUCCESS! solution found in step 77 nextSolution Done with goal! 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: | 578 / 113 |
Referenced in: | [show references] |