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

TRUE.
```
$l = [ice cream] , lasagna
$x = _8
```
```
Starting on goal: $l = [$x | [$x is tasty]]
Goal arity 3: $l = [$x | [$x is tasty]]
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 = [_8 | [_8 is tasty]]
  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 ([_8 , [_8 is tasty] , ___])] or true
 Goal arity 3: [forall_impl ([_8 , [_8 is tasty] , ___])] or true
    Resetting variable $b (_13)
    Resetting variable $a (_12)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
    Resetting variable $y (_15)
    Resetting variable $x (_14)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
    Resetting variable $y (_17)
    Resetting variable $x (_16)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
    Resetting variable $c (_21)
    Resetting variable $cond (_20)
    Resetting variable $x (_19)
    Resetting variable $list (_18)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
    Resetting variable $list (_24)
    Resetting variable $c (_23)
    Resetting variable $e (_22)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
    Resetting variable $b (_26)
    Resetting variable $a (_25)
  Got clause: _25 or _26
    Clause unifies to: [forall_impl ([_8 , [_8 is tasty] , ___])] or true
    gdash: forall_impl ([_8 , [_8 is tasty] , ___])
  Goal arity 2: forall_impl ([_8 , [_8 is tasty] , ___])
     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 ([_8 , [_8 is tasty] , ___])
     gdash: _8 is tasty
   Goal arity 3: _8 is tasty
    Got clause: [ice cream] is tasty
      Clause unifies to: [ice cream] is tasty
      gdash: saveTo ([[ice cream] , ___])
    Goal arity 2: saveTo ([[ice cream] , ___])
       Resetting variable $collector (_37)
       Resetting variable $x (_36)
     Got clause: saveTo ([_36 , _37])
       Clause unifies to: saveTo ([[ice cream] , ___])
      Clause is native.
       gdash: false
     Goal arity 0: false
       Resetting variable ___ (___)
       Resetting variable ___ ("[]"(ice, cream))
       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 ___ ("[]"(ice, cream))
      Resetting variable $b (_51)
      Resetting variable $a (_50)
      Resetting variable ___ (_8)
      Resetting variable $y (_53)
      Resetting variable $x (_52)
      Resetting variable ___ (_8)
      Resetting variable $y (_55)
      Resetting variable $x (_54)
      Resetting variable ___ (_8)
      Resetting variable $c (_59)
      Resetting variable $cond (_58)
      Resetting variable $x (_57)
      Resetting variable $list (_56)
      Resetting variable ___ (_8)
    Got clause: lasagna is tasty
      Clause unifies to: lasagna is tasty
      gdash: saveTo ([lasagna , ___])
    Goal arity 2: saveTo ([lasagna , ___])
       Resetting variable $collector (_61)
       Resetting variable $x (_60)
     Got clause: saveTo ([_60 , _61])
       Clause unifies to: saveTo ([lasagna , ___])
      Clause is native.
       gdash: false
     Goal arity 0: false
       Resetting variable ___ (___)
       Resetting variable ___ (lasagna)
       Resetting variable $x (_62)
       Resetting variable $x (_63)
       Resetting variable $x (_64)
       Resetting variable $x (_65)
       Resetting variable $c (_68)
       Resetting variable $cond (_67)
       Resetting variable $x (_66)
       Resetting variable $b (_71)
       Resetting variable $a (_70)
       Resetting variable $c (_69)
       Resetting variable $x (_72)
       Resetting variable $x (_73)
      Resetting variable ___ (lasagna)
      Resetting variable $list (_76)
      Resetting variable $c (_75)
      Resetting variable $e (_74)
      Resetting variable ___ (_8)
      Resetting variable $b (_78)
      Resetting variable $a (_77)
      Resetting variable ___ (_8)
      Resetting variable $b (_80)
      Resetting variable $a (_79)
      Resetting variable ___ (_8)
     Resetting variable ___ (___)
     Resetting variable ___ ("[]"(_8, is, tasty))
     Resetting variable ___ (_8)
     Resetting variable $b (_83)
     Resetting variable $a (_82)
     Resetting variable $c (_81)
     Resetting variable $x (_84)
     Resetting variable $x (_85)
    Resetting variable ___ (true)
    Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
    Resetting variable $b (_87)
    Resetting variable $a (_86)
  Got clause: _86 or _87
    Clause unifies to: [forall_impl ([_8 , [_8 is tasty] , ___])] or true
    gdash: true
  Goal arity 0: true
   Got clause: true
     Clause unifies to: true
     gdash: $l = retrieve (___)
   Goal arity 4: $l = retrieve (___)
      Resetting variable $x (_88)
      Resetting variable ___ ($l)
      Resetting variable $collector (_91)
      Resetting variable $retrieve (_90)
      Resetting variable $x (_89)
    Got clause: _89 = _90 (_91)
      Clause unifies to: $l = retrieve (___)
     Clause is native.
      gdash: -
SUCCESS!
  solution found in step 77```
[done] 86 ms

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

Snippet ID:	#3000252
Snippet name:	Answer for stefanreich (>> log $l = [$x \| [$x is tasty]])
Eternal ID of this version:	#3000252/1
Text MD5:	0e1a715169e3ce29c00af0c6f3e8ed17
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:09:59
Source code size:	6443 bytes / 178 lines
Pitched / IR pitched:	No / No
Views / Downloads:	447 / 105
Referenced in:	[show references]

1	TRUE.
2	```
3	$l = [ice cream] , lasagna
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	Resetting variable $l ("[]"(ice, cream))
11	Resetting variable $b (_2)
12	Resetting variable $a (_1)
13	Resetting variable ___ ($l)
14	Resetting variable $y (_4)
15	Resetting variable $x (_3)
16	Resetting variable ___ ($l)
17	Resetting variable $y (_6)
18	Resetting variable $x (_5)
19	Resetting variable ___ ($l)
20	Resetting variable $c (_10)
21	Resetting variable $cond (_9)
22	Resetting variable $x (_8)
23	Resetting variable $list (_7)
24	Got clause: _7 = [_8 \| _9]
25	Clause unifies to: $l = [_8 \| [_8 is tasty]]
26	gdash: _10 = new collector
27	Goal arity 4: _10 = new collector
28	Resetting variable $x (_11)
29	Got clause: _11 = new collector
30	Clause unifies to: _10 = new collector
31	Clause is native.
32	gdash: [forall_impl ([_8 , [_8 is tasty] , ___])] or true
33	Goal arity 3: [forall_impl ([_8 , [_8 is tasty] , ___])] or true
34	Resetting variable $b (_13)
35	Resetting variable $a (_12)
36	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
37	Resetting variable $y (_15)
38	Resetting variable $x (_14)
39	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
40	Resetting variable $y (_17)
41	Resetting variable $x (_16)
42	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
43	Resetting variable $c (_21)
44	Resetting variable $cond (_20)
45	Resetting variable $x (_19)
46	Resetting variable $list (_18)
47	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
48	Resetting variable $list (_24)
49	Resetting variable $c (_23)
50	Resetting variable $e (_22)
51	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
52	Resetting variable $b (_26)
53	Resetting variable $a (_25)
54	Got clause: _25 or _26
55	Clause unifies to: [forall_impl ([_8 , [_8 is tasty] , ___])] or true
56	gdash: forall_impl ([_8 , [_8 is tasty] , ___])
57	Goal arity 2: forall_impl ([_8 , [_8 is tasty] , ___])
58	Resetting variable $collector (_28)
59	Resetting variable $x (_27)
60	Resetting variable $x (_29)
61	Resetting variable $x (_30)
62	Resetting variable $x (_31)
63	Resetting variable $x (_32)
64	Resetting variable $c (_35)
65	Resetting variable $cond (_34)
66	Resetting variable $x (_33)
67	Got clause: forall_impl ([_33 , _34 , _35])
68	Clause unifies to: forall_impl ([_8 , [_8 is tasty] , ___])
69	gdash: _8 is tasty
70	Goal arity 3: _8 is tasty
71	Got clause: [ice cream] is tasty
72	Clause unifies to: [ice cream] is tasty
73	gdash: saveTo ([[ice cream] , ___])
74	Goal arity 2: saveTo ([[ice cream] , ___])
75	Resetting variable $collector (_37)
76	Resetting variable $x (_36)
77	Got clause: saveTo ([_36 , _37])
78	Clause unifies to: saveTo ([[ice cream] , ___])
79	Clause is native.
80	gdash: false
81	Goal arity 0: false
82	Resetting variable ___ (___)
83	Resetting variable ___ ("[]"(ice, cream))
84	Resetting variable $x (_38)
85	Resetting variable $x (_39)
86	Resetting variable $x (_40)
87	Resetting variable $x (_41)
88	Resetting variable $c (_44)
89	Resetting variable $cond (_43)
90	Resetting variable $x (_42)
91	Resetting variable $b (_47)
92	Resetting variable $a (_46)
93	Resetting variable $c (_45)
94	Resetting variable $x (_48)
95	Resetting variable $x (_49)
96	Resetting variable ___ ("[]"(ice, cream))
97	Resetting variable $b (_51)
98	Resetting variable $a (_50)
99	Resetting variable ___ (_8)
100	Resetting variable $y (_53)
101	Resetting variable $x (_52)
102	Resetting variable ___ (_8)
103	Resetting variable $y (_55)
104	Resetting variable $x (_54)
105	Resetting variable ___ (_8)
106	Resetting variable $c (_59)
107	Resetting variable $cond (_58)
108	Resetting variable $x (_57)
109	Resetting variable $list (_56)
110	Resetting variable ___ (_8)
111	Got clause: lasagna is tasty
112	Clause unifies to: lasagna is tasty
113	gdash: saveTo ([lasagna , ___])
114	Goal arity 2: saveTo ([lasagna , ___])
115	Resetting variable $collector (_61)
116	Resetting variable $x (_60)
117	Got clause: saveTo ([_60 , _61])
118	Clause unifies to: saveTo ([lasagna , ___])
119	Clause is native.
120	gdash: false
121	Goal arity 0: false
122	Resetting variable ___ (___)
123	Resetting variable ___ (lasagna)
124	Resetting variable $x (_62)
125	Resetting variable $x (_63)
126	Resetting variable $x (_64)
127	Resetting variable $x (_65)
128	Resetting variable $c (_68)
129	Resetting variable $cond (_67)
130	Resetting variable $x (_66)
131	Resetting variable $b (_71)
132	Resetting variable $a (_70)
133	Resetting variable $c (_69)
134	Resetting variable $x (_72)
135	Resetting variable $x (_73)
136	Resetting variable ___ (lasagna)
137	Resetting variable $list (_76)
138	Resetting variable $c (_75)
139	Resetting variable $e (_74)
140	Resetting variable ___ (_8)
141	Resetting variable $b (_78)
142	Resetting variable $a (_77)
143	Resetting variable ___ (_8)
144	Resetting variable $b (_80)
145	Resetting variable $a (_79)
146	Resetting variable ___ (_8)
147	Resetting variable ___ (___)
148	Resetting variable ___ ("[]"(_8, is, tasty))
149	Resetting variable ___ (_8)
150	Resetting variable $b (_83)
151	Resetting variable $a (_82)
152	Resetting variable $c (_81)
153	Resetting variable $x (_84)
154	Resetting variable $x (_85)
155	Resetting variable ___ (true)
156	Resetting variable ___ ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___))))
157	Resetting variable $b (_87)
158	Resetting variable $a (_86)
159	Got clause: _86 or _87
160	Clause unifies to: [forall_impl ([_8 , [_8 is tasty] , ___])] or true
161	gdash: true
162	Goal arity 0: true
163	Got clause: true
164	Clause unifies to: true
165	gdash: $l = retrieve (___)
166	Goal arity 4: $l = retrieve (___)
167	Resetting variable $x (_88)
168	Resetting variable ___ ($l)
169	Resetting variable $collector (_91)
170	Resetting variable $retrieve (_90)
171	Resetting variable $x (_89)
172	Got clause: _89 = _90 (_91)
173	Clause unifies to: $l = retrieve (___)
174	Clause is native.
175	gdash: -
176	SUCCESS!
177	solution found in step 77```
178	[done] 86 ms

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

New Tinybrain snippet