TRUE. ``` $l = a ``` ``` Starting on goal: $l = [a | true] Goal arity 3: $l = [a | true] nextSolution Push $l ("[]"(ice, cream)) Resetting variable $l ("[]"(ice, cream)) Push $a (_1) Push $b (_2) Resetting variable $b (_2) Resetting variable $a (_1) Push ___ ($l) Resetting variable ___ ($l) Push $x (_3) Push $y (_4) Resetting variable $y (_4) Resetting variable $x (_3) Push ___ ($l) Resetting variable ___ ($l) Push $x (_5) Push $y (_6) Resetting variable $y (_6) Resetting variable $x (_5) Push ___ ($l) Resetting variable ___ ($l) Push $list (_7) Push $x (_8) Push $cond (_9) Push $c (_10) Resetting variable $c (_10) Resetting variable $cond (_9) Resetting variable $x (_8) Resetting variable $list (_7) Push ___ ($l) Push ___ (a) Push ___ (true) Got clause: _7 = [_8 | _9] Clause unifies to: $l = [a | true] gdash: _10 = new collector Goal arity 4: _10 = new collector Push $x (_11) Resetting variable $x (_11) Push ___ (_10) Got clause: _11 = new collector Clause unifies to: _10 = new collector Clause is native. Push ___ (<collector>) gdash: [forall_impl ([a , true , <collector>])] or true Goal arity 3: [forall_impl ([a , true , <collector>])] or true Push $a (_12) Push $b (_13) Resetting variable $b (_13) Resetting variable $a (_12) Push ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Push $x (_14) Push $y (_15) Resetting variable $y (_15) Resetting variable $x (_14) Push ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Push $x (_16) Push $y (_17) Resetting variable $y (_17) Resetting variable $x (_16) Push ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Push $list (_18) Push $x (_19) Push $cond (_20) Push $c (_21) Resetting variable $c (_21) Resetting variable $cond (_20) Resetting variable $x (_19) Resetting variable $list (_18) Push ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Push $e (_22) Push $c (_23) Push $list (_24) Resetting variable $list (_24) Resetting variable $c (_23) Resetting variable $e (_22) Push ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Push $a (_25) Push $b (_26) Resetting variable $b (_26) Resetting variable $a (_25) Push ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Push ___ (true) Got clause: _25 or _26 Clause unifies to: [forall_impl ([a , true , <collector>])] or true gdash: forall_impl ([a , true , <collector>]) Goal arity 2: forall_impl ([a , true , <collector>]) Push $x (_27) Push $collector (_28) Resetting variable $collector (_28) Resetting variable $x (_27) Push $x (_29) Resetting variable $x (_29) Push $x (_30) Resetting variable $x (_30) Push $x (_31) Resetting variable $x (_31) Push $x (_32) Resetting variable $x (_32) Push $x (_33) Push $cond (_34) Push $c (_35) Resetting variable $c (_35) Resetting variable $cond (_34) Resetting variable $x (_33) Push ___ (a) Push ___ (true) Push ___ (<collector>) Got clause: forall_impl ([_33 , _34 , _35]) Clause unifies to: forall_impl ([a , true , <collector>]) gdash: true Goal arity 0: true Got clause: true Clause unifies to: true gdash: saveTo ([a , <collector>]) Goal arity 2: saveTo ([a , <collector>]) Push $x (_36) Push $collector (_37) Resetting variable $collector (_37) Resetting variable $x (_36) Push ___ (a) Push ___ (<collector>) Got clause: saveTo ([_36 , _37]) Clause unifies to: saveTo ([a , <collector>]) Clause is native. gdash: false Goal arity 0: false Resetting variable ___ (<collector>) Resetting variable ___ (a) Push $x (_38) Resetting variable $x (_38) Push $x (_39) Resetting variable $x (_39) Push $x (_40) Resetting variable $x (_40) Push $x (_41) Resetting variable $x (_41) Push $x (_42) Push $cond (_43) Push $c (_44) Resetting variable $c (_44) Resetting variable $cond (_43) Resetting variable $x (_42) Push $c (_45) Push $a (_46) Push $b (_47) Resetting variable $b (_47) Resetting variable $a (_46) Resetting variable $c (_45) Push $x (_48) Resetting variable $x (_48) Push $x (_49) Resetting variable $x (_49) Resetting variable ___ (<collector>) Resetting variable ___ (true) Resetting variable ___ (a) Push $c (_50) Push $a (_51) Push $b (_52) Resetting variable $b (_52) Resetting variable $a (_51) Resetting variable $c (_50) Push $x (_53) Resetting variable $x (_53) Push $x (_54) Resetting variable $x (_54) Resetting variable ___ (true) Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Push $a (_55) Push $b (_56) Resetting variable $b (_56) Resetting variable $a (_55) Push ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>)))) Push ___ (true) Got clause: _55 or _56 Clause unifies to: [forall_impl ([a , true , <collector>])] or true gdash: true Goal arity 0: true Got clause: true Clause unifies to: true gdash: $l = retrieve (<collector>) Goal arity 4: $l = retrieve (<collector>) Push $x (_57) Resetting variable $x (_57) Push ___ ($l) Resetting variable ___ ($l) Push $x (_58) Push $retrieve (_59) Push $collector (_60) Resetting variable $collector (_60) Resetting variable $retrieve (_59) Resetting variable $x (_58) Push ___ ($l) Push ___ (retrieve) Push ___ (<collector>) Got clause: _58 = _59 (_60) Clause unifies to: $l = retrieve (<collector>) Clause is native. Push $l ("[]"(a)) gdash: - SUCCESS! solution found in step 55``` [done] 91 ms
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: | #3000255 |
Snippet name: | Answer for stefanreich (>> log $l = [a | true]) |
Eternal ID of this version: | #3000255/1 |
Text MD5: | b8cbccc24618d1c0fad011f22efa0296 |
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 01:16:51 |
Source code size: | 6628 bytes / 214 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 515 / 115 |
Referenced in: | [show references] |