Answer for stefanreich (>> log $l = [$x | [$x is tasty]]) [3000257]

TRUE.
```
$l = [ice cream]
$x = _8
```
```
Starting on goal: $l = [$x | [$x is tasty]]
Goal arity 3: $l = [$x | [$x is tasty]]
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 $x (_8)
  Push _9 ("[]"(_8, is, tasty))
Got clause: _7 = [_8 | _9]
  Clause unifies to: $l = [_8 | [_8 is tasty]]
  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 ([_8 , [_8 is tasty] , <collector>])] or true
 Goal arity 3: [forall_impl ([_8 , [_8 is tasty] , <collector>])] or true
    Push $a (_12)
    Push $b (_13)
    Resetting variable $b (_13)
    Resetting variable $a (_12)
    Push _12 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _12 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $x (_14)
    Push $y (_15)
    Resetting variable $y (_15)
    Resetting variable $x (_14)
    Push _14 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _14 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $x (_16)
    Push $y (_17)
    Resetting variable $y (_17)
    Resetting variable $x (_16)
    Push _16 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _16 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <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, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _18 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <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, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Resetting variable _22 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $a (_25)
    Push $b (_26)
    Resetting variable $b (_26)
    Resetting variable $a (_25)
    Push _25 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push _26 (true)
  Got clause: _25 or _26
    Clause unifies to: [forall_impl ([_8 , [_8 is tasty] , <collector>])] or true
    gdash: forall_impl ([_8 , [_8 is tasty] , <collector>])
  Goal arity 2: forall_impl ([_8 , [_8 is tasty] , <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 (_8)
     Push _34 ("[]"(_8, is, tasty))
     Push _35 (<collector>)
   Got clause: forall_impl ([_33 , _34 , _35])
     Clause unifies to: forall_impl ([_8 , [_8 is tasty] , <collector>])
     gdash: _8 is tasty
   Goal arity 3: _8 is tasty
      Push _8 ("[]"(ice, cream))
    Got clause: [ice cream] is tasty
      Clause unifies to: [ice cream] is tasty
      gdash: saveTo ([[ice cream] , <collector>])
    Goal arity 2: saveTo ([[ice cream] , <collector>])
       Push $x (_36)
       Push $collector (_37)
       Resetting variable $collector (_37)
       Resetting variable $x (_36)
       Push _36 ("[]"(ice, cream))
       Push _37 (<collector>)
     Got clause: saveTo ([_36 , _37])
       Clause unifies to: saveTo ([[ice cream] , <collector>])
      Clause is native.
       gdash: false
     Goal arity 0: false
       Resetting variable _37 (<collector>)
       Resetting variable _36 ("[]"(ice, cream))
       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 _8 ("[]"(ice, cream))
      Push $a (_50)
      Push $b (_51)
      Resetting variable $b (_51)
      Resetting variable $a (_50)
      Push _50 (_8)
      Resetting variable _50 (_8)
      Push $x (_52)
      Push $y (_53)
      Resetting variable $y (_53)
      Resetting variable $x (_52)
      Push _52 (_8)
      Resetting variable _52 (_8)
      Push $x (_54)
      Push $y (_55)
      Resetting variable $y (_55)
      Resetting variable $x (_54)
      Push _54 (_8)
      Resetting variable _54 (_8)
      Push $list (_56)
      Push $x (_57)
      Push $cond (_58)
      Push $c (_59)
      Resetting variable $c (_59)
      Resetting variable $cond (_58)
      Resetting variable $x (_57)
      Resetting variable $list (_56)
      Push _56 (_8)
      Resetting variable _56 (_8)
      Push $e (_60)
      Push $c (_61)
      Push $list (_62)
      Resetting variable $list (_62)
      Resetting variable $c (_61)
      Resetting variable $e (_60)
      Push _60 (_8)
      Resetting variable _60 (_8)
      Push $a (_63)
      Push $b (_64)
      Resetting variable $b (_64)
      Resetting variable $a (_63)
      Push _63 (_8)
      Resetting variable _63 (_8)
      Push $a (_65)
      Push $b (_66)
      Resetting variable $b (_66)
      Resetting variable $a (_65)
      Push _65 (_8)
      Resetting variable _65 (_8)
     Resetting variable _35 (<collector>)
     Resetting variable _34 ("[]"(_8, is, tasty))
     Resetting variable _33 (_8)
     Push $c (_67)
     Push $a (_68)
     Push $b (_69)
     Resetting variable $b (_69)
     Resetting variable $a (_68)
     Resetting variable $c (_67)
     Push $x (_70)
     Resetting variable $x (_70)
     Push $x (_71)
     Resetting variable $x (_71)
    Resetting variable _26 (true)
    Resetting variable _25 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push $a (_72)
    Push $b (_73)
    Resetting variable $b (_73)
    Resetting variable $a (_72)
    Push _72 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", <collector>))))
    Push _73 (true)
  Got clause: _72 or _73
    Clause unifies to: [forall_impl ([_8 , [_8 is tasty] , <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 (_74)
      Resetting variable $x (_74)
      Push _74 ($l)
      Resetting variable _74 ($l)
      Push $x (_75)
      Push $retrieve (_76)
      Push $collector (_77)
      Resetting variable $collector (_77)
      Resetting variable $retrieve (_76)
      Resetting variable $x (_75)
      Push _75 ($l)
      Push _76 (retrieve)
      Push _77 (<collector>)
    Got clause: _75 = _76 (_77)
      Clause unifies to: $l = retrieve (<collector>)
     Clause is native.
      Push $l ("[]"("[]"(ice, cream)))
      gdash: -
SUCCESS!
  solution found in step 59```
[done] 6 ms

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

Snippet ID:	#3000257
Snippet name:	Answer for stefanreich (>> log $l = [$x \| [$x is tasty]])
Eternal ID of this version:	#3000257/1
Text MD5:	4bc203718c0553b3fb366768fd48ade6
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:21:25
Source code size:	8507 bytes / 265 lines
Pitched / IR pitched:	No / No
Views / Downloads:	379 / 103
Referenced in:	[show references]

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

< > BotCompany Repo | #3000257 // Answer for stefanreich (>> log $l = [$x | [$x is tasty]])

New Tinybrain snippet