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

TRUE.
```
$l = a
```
```
Starting on goal: $l = [a | true]
Goal arity 3: $l = [a | true]
nextSolution
  Push $l ($l)
  Resetting variable $l ("[]"(ice, cream))
  Push $a ($a)
  Push $b ($b)
  Resetting variable $b (_2)
  Resetting variable $a (_1)
  Push ___ (_1)
  Resetting variable ___ ($l)
  Push $x ($x)
  Push $y ($y)
  Resetting variable $y (_4)
  Resetting variable $x (_3)
  Push ___ (_3)
  Resetting variable ___ ($l)
  Push $x ($x)
  Push $y ($y)
  Resetting variable $y (_6)
  Resetting variable $x (_5)
  Push ___ (_5)
  Resetting variable ___ ($l)
  Push $list ($list)
  Push $x ($x)
  Push $cond ($cond)
  Push $c ($c)
  Resetting variable $c (_10)
  Resetting variable $cond (_9)
  Resetting variable $x (_8)
  Resetting variable $list (_7)
  Push ___ (_7)
  Push ___ (_8)
  Push ___ (_9)
Got clause: _7 = [_8 | _9]
  Clause unifies to: $l = [a | true]
  gdash: _10 = new collector
Goal arity 4: _10 = new collector
   Push $x ($x)
   Resetting variable $x (_11)
   Push ___ (_11)
 Got clause: _11 = new collector
   Clause unifies to: _10 = new collector
  Clause is native.
   Push ___ (_10)
   gdash: [forall_impl ([a , true , <collector>])] or true
 Goal arity 3: [forall_impl ([a , true , <collector>])] or true
    Push $a ($a)
    Push $b ($b)
    Resetting variable $b (_13)
    Resetting variable $a (_12)
    Push ___ (_12)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $x ($x)
    Push $y ($y)
    Resetting variable $y (_15)
    Resetting variable $x (_14)
    Push ___ (_14)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $x ($x)
    Push $y ($y)
    Resetting variable $y (_17)
    Resetting variable $x (_16)
    Push ___ (_16)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $list ($list)
    Push $x ($x)
    Push $cond ($cond)
    Push $c ($c)
    Resetting variable $c (_21)
    Resetting variable $cond (_20)
    Resetting variable $x (_19)
    Resetting variable $list (_18)
    Push ___ (_18)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $e ($e)
    Push $c ($c)
    Push $list ($list)
    Resetting variable $list (_24)
    Resetting variable $c (_23)
    Resetting variable $e (_22)
    Push ___ (_22)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $a ($a)
    Push $b ($b)
    Resetting variable $b (_26)
    Resetting variable $a (_25)
    Push ___ (_25)
    Push ___ (_26)
  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 ($x)
     Push $collector ($collector)
     Resetting variable $collector (_28)
     Resetting variable $x (_27)
     Push $x ($x)
     Resetting variable $x (_29)
     Push $x ($x)
     Resetting variable $x (_30)
     Push $x ($x)
     Resetting variable $x (_31)
     Push $x ($x)
     Resetting variable $x (_32)
     Push $x ($x)
     Push $cond ($cond)
     Push $c ($c)
     Resetting variable $c (_35)
     Resetting variable $cond (_34)
     Resetting variable $x (_33)
     Push ___ (_33)
     Push ___ (_34)
     Push ___ (_35)
   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 ($x)
       Push $collector ($collector)
       Resetting variable $collector (_37)
       Resetting variable $x (_36)
       Push ___ (_36)
       Push ___ (_37)
     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 ($x)
       Resetting variable $x (_38)
       Push $x ($x)
       Resetting variable $x (_39)
       Push $x ($x)
       Resetting variable $x (_40)
       Push $x ($x)
       Resetting variable $x (_41)
       Push $x ($x)
       Push $cond ($cond)
       Push $c ($c)
       Resetting variable $c (_44)
       Resetting variable $cond (_43)
       Resetting variable $x (_42)
       Push $c ($c)
       Push $a ($a)
       Push $b ($b)
       Resetting variable $b (_47)
       Resetting variable $a (_46)
       Resetting variable $c (_45)
       Push $x ($x)
       Resetting variable $x (_48)
       Push $x ($x)
       Resetting variable $x (_49)
     Resetting variable ___ (<collector>)
     Resetting variable ___ (true)
     Resetting variable ___ (a)
     Push $c ($c)
     Push $a ($a)
     Push $b ($b)
     Resetting variable $b (_52)
     Resetting variable $a (_51)
     Resetting variable $c (_50)
     Push $x ($x)
     Resetting variable $x (_53)
     Push $x ($x)
     Resetting variable $x (_54)
    Resetting variable ___ (true)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
    Push $a ($a)
    Push $b ($b)
    Resetting variable $b (_56)
    Resetting variable $a (_55)
    Push ___ (_55)
    Push ___ (_56)
  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 ($x)
      Resetting variable $x (_57)
      Push ___ (_57)
      Resetting variable ___ ($l)
      Push $x ($x)
      Push $retrieve ($retrieve)
      Push $collector ($collector)
      Resetting variable $collector (_60)
      Resetting variable $retrieve (_59)
      Resetting variable $x (_58)
      Push ___ (_58)
      Push ___ (_59)
      Push ___ (_60)
    Got clause: _58 = _59 (_60)
      Clause unifies to: $l = retrieve (<collector>)
     Clause is native.
      Push $l ($l)
      gdash: -
SUCCESS!
  solution found in step 55```
[done] 17 ms

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

Snippet ID:	#3000254
Snippet name:	Answer for stefanreich (>> log $l = [a \| true])
Eternal ID of this version:	#3000254/1
Text MD5:	54b06d214b4ac54bc8e97ed48ed76150
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:14:47
Source code size:	6169 bytes / 214 lines
Pitched / IR pitched:	No / No
Views / Downloads:	440 / 116
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 ($l)
10	Resetting variable $l ("[]"(ice, cream))
11	Push $a ($a)
12	Push $b ($b)
13	Resetting variable $b (_2)
14	Resetting variable $a (_1)
15	Push ___ (_1)
16	Resetting variable ___ ($l)
17	Push $x ($x)
18	Push $y ($y)
19	Resetting variable $y (_4)
20	Resetting variable $x (_3)
21	Push ___ (_3)
22	Resetting variable ___ ($l)
23	Push $x ($x)
24	Push $y ($y)
25	Resetting variable $y (_6)
26	Resetting variable $x (_5)
27	Push ___ (_5)
28	Resetting variable ___ ($l)
29	Push $list ($list)
30	Push $x ($x)
31	Push $cond ($cond)
32	Push $c ($c)
33	Resetting variable $c (_10)
34	Resetting variable $cond (_9)
35	Resetting variable $x (_8)
36	Resetting variable $list (_7)
37	Push ___ (_7)
38	Push ___ (_8)
39	Push ___ (_9)
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 ($x)
45	Resetting variable $x (_11)
46	Push ___ (_11)
47	Got clause: _11 = new collector
48	Clause unifies to: _10 = new collector
49	Clause is native.
50	Push ___ (_10)
51	gdash: [forall_impl ([a , true , <collector>])] or true
52	Goal arity 3: [forall_impl ([a , true , <collector>])] or true
53	Push $a ($a)
54	Push $b ($b)
55	Resetting variable $b (_13)
56	Resetting variable $a (_12)
57	Push ___ (_12)
58	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
59	Push $x ($x)
60	Push $y ($y)
61	Resetting variable $y (_15)
62	Resetting variable $x (_14)
63	Push ___ (_14)
64	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
65	Push $x ($x)
66	Push $y ($y)
67	Resetting variable $y (_17)
68	Resetting variable $x (_16)
69	Push ___ (_16)
70	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
71	Push $list ($list)
72	Push $x ($x)
73	Push $cond ($cond)
74	Push $c ($c)
75	Resetting variable $c (_21)
76	Resetting variable $cond (_20)
77	Resetting variable $x (_19)
78	Resetting variable $list (_18)
79	Push ___ (_18)
80	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
81	Push $e ($e)
82	Push $c ($c)
83	Push $list ($list)
84	Resetting variable $list (_24)
85	Resetting variable $c (_23)
86	Resetting variable $e (_22)
87	Push ___ (_22)
88	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
89	Push $a ($a)
90	Push $b ($b)
91	Resetting variable $b (_26)
92	Resetting variable $a (_25)
93	Push ___ (_25)
94	Push ___ (_26)
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 ($x)
100	Push $collector ($collector)
101	Resetting variable $collector (_28)
102	Resetting variable $x (_27)
103	Push $x ($x)
104	Resetting variable $x (_29)
105	Push $x ($x)
106	Resetting variable $x (_30)
107	Push $x ($x)
108	Resetting variable $x (_31)
109	Push $x ($x)
110	Resetting variable $x (_32)
111	Push $x ($x)
112	Push $cond ($cond)
113	Push $c ($c)
114	Resetting variable $c (_35)
115	Resetting variable $cond (_34)
116	Resetting variable $x (_33)
117	Push ___ (_33)
118	Push ___ (_34)
119	Push ___ (_35)
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 ($x)
129	Push $collector ($collector)
130	Resetting variable $collector (_37)
131	Resetting variable $x (_36)
132	Push ___ (_36)
133	Push ___ (_37)
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 ___ (<collector>)
140	Resetting variable ___ (a)
141	Push $x ($x)
142	Resetting variable $x (_38)
143	Push $x ($x)
144	Resetting variable $x (_39)
145	Push $x ($x)
146	Resetting variable $x (_40)
147	Push $x ($x)
148	Resetting variable $x (_41)
149	Push $x ($x)
150	Push $cond ($cond)
151	Push $c ($c)
152	Resetting variable $c (_44)
153	Resetting variable $cond (_43)
154	Resetting variable $x (_42)
155	Push $c ($c)
156	Push $a ($a)
157	Push $b ($b)
158	Resetting variable $b (_47)
159	Resetting variable $a (_46)
160	Resetting variable $c (_45)
161	Push $x ($x)
162	Resetting variable $x (_48)
163	Push $x ($x)
164	Resetting variable $x (_49)
165	Resetting variable ___ (<collector>)
166	Resetting variable ___ (true)
167	Resetting variable ___ (a)
168	Push $c ($c)
169	Push $a ($a)
170	Push $b ($b)
171	Resetting variable $b (_52)
172	Resetting variable $a (_51)
173	Resetting variable $c (_50)
174	Push $x ($x)
175	Resetting variable $x (_53)
176	Push $x ($x)
177	Resetting variable $x (_54)
178	Resetting variable ___ (true)
179	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(a, ",", true, ",", <collector>))))
180	Push $a ($a)
181	Push $b ($b)
182	Resetting variable $b (_56)
183	Resetting variable $a (_55)
184	Push ___ (_55)
185	Push ___ (_56)
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 ($x)
195	Resetting variable $x (_57)
196	Push ___ (_57)
197	Resetting variable ___ ($l)
198	Push $x ($x)
199	Push $retrieve ($retrieve)
200	Push $collector ($collector)
201	Resetting variable $collector (_60)
202	Resetting variable $retrieve (_59)
203	Resetting variable $x (_58)
204	Push ___ (_58)
205	Push ___ (_59)
206	Push ___ (_60)
207	Got clause: _58 = _59 (_60)
208	Clause unifies to: $l = retrieve (<collector>)
209	Clause is native.
210	Push $l ($l)
211	gdash: -
212	SUCCESS!
213	solution found in step 55```
214	[done] 17 ms

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

New Tinybrain snippet