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