Answer for stefanreich (>> log $l = [a

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 _1 ($l)
  Resetting variable _1 ($l)
  Push $x (_3)
  Push $y (_4)
  Resetting variable $y (_4)
  Resetting variable $x (_3)
  Push _3 ($l)
  Resetting variable _3 ($l)
  Push $x (_5)
  Push $y (_6)
  Resetting variable $y (_6)
  Resetting variable $x (_5)
  Push _5 ($l)
  Resetting variable _5 ($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 _7 ($l)
  Push _8 (a)
  Push _9 (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 _11 (_10)
 Got clause: _11 = new collector
   Clause unifies to: _10 = new collector
  Clause is native.
   Push _10 (<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 _12 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Resetting variable _12 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $x (_14)
    Push $y (_15)
    Resetting variable $y (_15)
    Resetting variable $x (_14)
    Push _14 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Resetting variable _14 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $x (_16)
    Push $y (_17)
    Resetting variable $y (_17)
    Resetting variable $x (_16)
    Push _16 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Resetting variable _16 ("[]"(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 _18 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Resetting variable _18 ("[]"(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 _22 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Resetting variable _22 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $a (_25)
    Push $b (_26)
    Resetting variable $b (_26)
    Resetting variable $a (_25)
    Push _25 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push _26 (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 _33 (a)
     Push _34 (true)
     Push _35 (<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 _36 (a)
       Push _37 (<collector>)
     Got clause: saveTo ([_36 , _37])
       Clause unifies to: saveTo ([a , <collector>])
      Clause is native.
       gdash: false
     Goal arity 0: false
       Resetting variable _37 (<collector>)
       Resetting variable _36 (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 _35 (<collector>)
     Resetting variable _34 (true)
     Resetting variable _33 (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 _26 (true)
    Resetting variable _25 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $a (_55)
    Push $b (_56)
    Resetting variable $b (_56)
    Resetting variable $a (_55)
    Push _55 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push _56 (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 _57 ($l)
      Resetting variable _57 ($l)
      Push $x (_58)
      Push $retrieve (_59)
      Push $collector (_60)
      Resetting variable $collector (_60)
      Resetting variable $retrieve (_59)
      Resetting variable $x (_58)
      Push _58 ($l)
      Push _59 (retrieve)
      Push _60 (<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] 92 ms

Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

Snippet ID:	#3000256
Snippet name:	Answer for stefanreich (>> log $l = [a \| true])
Eternal ID of this version:	#3000256/1
Text MD5:	fc5d805baa40378e59b9f1910785f7aa
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:19:36
Source code size:	6619 bytes / 214 lines
Pitched / IR pitched:	No / No
Views / Downloads:	466 / 130
Referenced in:	[show references]

1	TRUE.
2	```
3	$l = a
4	```
5	```
6	Starting on goal: $l = [a \| true]
7	Goal arity 3: $l = [a \| true]
8	nextSolution
9	Push $l ("[]"(ice, cream))
10	Resetting variable $l ("[]"(ice, cream))
11	Push $a (_1)
12	Push $b (_2)
13	Resetting variable $b (_2)
14	Resetting variable $a (_1)
15	Push _1 ($l)
16	Resetting variable _1 ($l)
17	Push $x (_3)
18	Push $y (_4)
19	Resetting variable $y (_4)
20	Resetting variable $x (_3)
21	Push _3 ($l)
22	Resetting variable _3 ($l)
23	Push $x (_5)
24	Push $y (_6)
25	Resetting variable $y (_6)
26	Resetting variable $x (_5)
27	Push _5 ($l)
28	Resetting variable _5 ($l)
29	Push $list (_7)
30	Push $x (_8)
31	Push $cond (_9)
32	Push $c (_10)
33	Resetting variable $c (_10)
34	Resetting variable $cond (_9)
35	Resetting variable $x (_8)
36	Resetting variable $list (_7)
37	Push _7 ($l)
38	Push _8 (a)
39	Push _9 (true)
40	Got clause: _7 = [_8 \| _9]
41	Clause unifies to: $l = [a \| true]
42	gdash: _10 = new collector
43	Goal arity 4: _10 = new collector
44	Push $x (_11)
45	Resetting variable $x (_11)
46	Push _11 (_10)
47	Got clause: _11 = new collector
48	Clause unifies to: _10 = new collector
49	Clause is native.
50	Push _10 (<collector>)
51	gdash: [forall_impl ([a , true , <collector>])] or true
52	Goal arity 3: [forall_impl ([a , true , <collector>])] or true
53	Push $a (_12)
54	Push $b (_13)
55	Resetting variable $b (_13)
56	Resetting variable $a (_12)
57	Push _12 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
58	Resetting variable _12 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
59	Push $x (_14)
60	Push $y (_15)
61	Resetting variable $y (_15)
62	Resetting variable $x (_14)
63	Push _14 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
64	Resetting variable _14 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
65	Push $x (_16)
66	Push $y (_17)
67	Resetting variable $y (_17)
68	Resetting variable $x (_16)
69	Push _16 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
70	Resetting variable _16 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
71	Push $list (_18)
72	Push $x (_19)
73	Push $cond (_20)
74	Push $c (_21)
75	Resetting variable $c (_21)
76	Resetting variable $cond (_20)
77	Resetting variable $x (_19)
78	Resetting variable $list (_18)
79	Push _18 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
80	Resetting variable _18 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
81	Push $e (_22)
82	Push $c (_23)
83	Push $list (_24)
84	Resetting variable $list (_24)
85	Resetting variable $c (_23)
86	Resetting variable $e (_22)
87	Push _22 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
88	Resetting variable _22 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
89	Push $a (_25)
90	Push $b (_26)
91	Resetting variable $b (_26)
92	Resetting variable $a (_25)
93	Push _25 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
94	Push _26 (true)
95	Got clause: _25 or _26
96	Clause unifies to: [forall_impl ([a , true , <collector>])] or true
97	gdash: forall_impl ([a , true , <collector>])
98	Goal arity 2: forall_impl ([a , true , <collector>])
99	Push $x (_27)
100	Push $collector (_28)
101	Resetting variable $collector (_28)
102	Resetting variable $x (_27)
103	Push $x (_29)
104	Resetting variable $x (_29)
105	Push $x (_30)
106	Resetting variable $x (_30)
107	Push $x (_31)
108	Resetting variable $x (_31)
109	Push $x (_32)
110	Resetting variable $x (_32)
111	Push $x (_33)
112	Push $cond (_34)
113	Push $c (_35)
114	Resetting variable $c (_35)
115	Resetting variable $cond (_34)
116	Resetting variable $x (_33)
117	Push _33 (a)
118	Push _34 (true)
119	Push _35 (<collector>)
120	Got clause: forall_impl ([_33 , _34 , _35])
121	Clause unifies to: forall_impl ([a , true , <collector>])
122	gdash: true
123	Goal arity 0: true
124	Got clause: true
125	Clause unifies to: true
126	gdash: saveTo ([a , <collector>])
127	Goal arity 2: saveTo ([a , <collector>])
128	Push $x (_36)
129	Push $collector (_37)
130	Resetting variable $collector (_37)
131	Resetting variable $x (_36)
132	Push _36 (a)
133	Push _37 (<collector>)
134	Got clause: saveTo ([_36 , _37])
135	Clause unifies to: saveTo ([a , <collector>])
136	Clause is native.
137	gdash: false
138	Goal arity 0: false
139	Resetting variable _37 (<collector>)
140	Resetting variable _36 (a)
141	Push $x (_38)
142	Resetting variable $x (_38)
143	Push $x (_39)
144	Resetting variable $x (_39)
145	Push $x (_40)
146	Resetting variable $x (_40)
147	Push $x (_41)
148	Resetting variable $x (_41)
149	Push $x (_42)
150	Push $cond (_43)
151	Push $c (_44)
152	Resetting variable $c (_44)
153	Resetting variable $cond (_43)
154	Resetting variable $x (_42)
155	Push $c (_45)
156	Push $a (_46)
157	Push $b (_47)
158	Resetting variable $b (_47)
159	Resetting variable $a (_46)
160	Resetting variable $c (_45)
161	Push $x (_48)
162	Resetting variable $x (_48)
163	Push $x (_49)
164	Resetting variable $x (_49)
165	Resetting variable _35 (<collector>)
166	Resetting variable _34 (true)
167	Resetting variable _33 (a)
168	Push $c (_50)
169	Push $a (_51)
170	Push $b (_52)
171	Resetting variable $b (_52)
172	Resetting variable $a (_51)
173	Resetting variable $c (_50)
174	Push $x (_53)
175	Resetting variable $x (_53)
176	Push $x (_54)
177	Resetting variable $x (_54)
178	Resetting variable _26 (true)
179	Resetting variable _25 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
180	Push $a (_55)
181	Push $b (_56)
182	Resetting variable $b (_56)
183	Resetting variable $a (_55)
184	Push _55 ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
185	Push _56 (true)
186	Got clause: _55 or _56
187	Clause unifies to: [forall_impl ([a , true , <collector>])] or true
188	gdash: true
189	Goal arity 0: true
190	Got clause: true
191	Clause unifies to: true
192	gdash: $l = retrieve (<collector>)
193	Goal arity 4: $l = retrieve (<collector>)
194	Push $x (_57)
195	Resetting variable $x (_57)
196	Push _57 ($l)
197	Resetting variable _57 ($l)
198	Push $x (_58)
199	Push $retrieve (_59)
200	Push $collector (_60)
201	Resetting variable $collector (_60)
202	Resetting variable $retrieve (_59)
203	Resetting variable $x (_58)
204	Push _58 ($l)
205	Push _59 (retrieve)
206	Push _60 (<collector>)
207	Got clause: _58 = _59 (_60)
208	Clause unifies to: $l = retrieve (<collector>)
209	Clause is native.
210	Push $l ("[]"(a))
211	gdash: -
212	SUCCESS!
213	solution found in step 55```
214	[done] 92 ms

< > BotCompany Repo | #3000256 // Answer for stefanreich (>> log $l = [a | true])

New Tinybrain snippet