Answer for stefanreich (>> solve $l = [$x | [$x is tasty]]) [3000249]

TRUE.
```
$l = [ice cream] , lasagna
$x = ___
``````
Starting on goal: $l = [$x | [$x is tasty]]
Goal arity 3: $l = [$x | [$x is tasty]]
nextSolution
  Resetting variable "[]"(ice, cream)
  Resetting variable _2
  Resetting variable _1
  Resetting variable $l
  Resetting variable _4
  Resetting variable _3
  Resetting variable $l
  Resetting variable _6
  Resetting variable _5
  Resetting variable $l
  Resetting variable _10
  Resetting variable _9
  Resetting variable _8
  Resetting variable _7
Got clause: ___ = [___ | ___]
  Clause unifies to: $l = [___ | [___ is tasty]]
  gdash: ___ = new collector
Goal arity 4: ___ = new collector
   Resetting variable _11
 Got clause: ___ = new collector
   Clause unifies to: ___ = new collector
  Clause is native.
   gdash: [forall_impl ([___ , [___ is tasty] , ___])] or true
 Goal arity 3: [forall_impl ([___ , [___ is tasty] , ___])] or true
    Resetting variable _13
    Resetting variable _12
    Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___)))
    Resetting variable _15
    Resetting variable _14
    Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___)))
    Resetting variable _17
    Resetting variable _16
    Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___)))
    Resetting variable _21
    Resetting variable _20
    Resetting variable _19
    Resetting variable _18
    Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___)))
    Resetting variable _24
    Resetting variable _23
    Resetting variable _22
    Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___)))
    Resetting variable _26
    Resetting variable _25
  Got clause: ___ or ___
    Clause unifies to: [forall_impl ([___ , [___ is tasty] , ___])] or true
    gdash: forall_impl ([___ , [___ is tasty] , ___])
  Goal arity 2: forall_impl ([___ , [___ is tasty] , ___])
     Resetting variable _28
     Resetting variable _27
     Resetting variable _29
     Resetting variable _30
     Resetting variable _31
     Resetting variable _32
     Resetting variable _35
     Resetting variable _34
     Resetting variable _33
   Got clause: forall_impl ([___ , ___ , ___])
     Clause unifies to: forall_impl ([___ , [___ is tasty] , ___])
     gdash: ___ is tasty
   Goal arity 3: ___ 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 _37
       Resetting variable _36
     Got clause: saveTo ([___ , ___])
       Clause unifies to: saveTo ([[ice cream] , ___])
      Clause is native.
       gdash: false
     Goal arity 0: false
       Resetting variable ___
       Resetting variable "[]"(ice, cream)
       Resetting variable _38
       Resetting variable _39
       Resetting variable _40
       Resetting variable _41
       Resetting variable _44
       Resetting variable _43
       Resetting variable _42
       Resetting variable _47
       Resetting variable _46
       Resetting variable _45
       Resetting variable _48
       Resetting variable _49
      Resetting variable "[]"(ice, cream)
      Resetting variable _51
      Resetting variable _50
      Resetting variable _8
      Resetting variable _53
      Resetting variable _52
      Resetting variable _8
      Resetting variable _55
      Resetting variable _54
      Resetting variable _8
      Resetting variable _59
      Resetting variable _58
      Resetting variable _57
      Resetting variable _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 _61
       Resetting variable _60
     Got clause: saveTo ([___ , ___])
       Clause unifies to: saveTo ([lasagna , ___])
      Clause is native.
       gdash: false
     Goal arity 0: false
       Resetting variable ___
       Resetting variable lasagna
       Resetting variable _62
       Resetting variable _63
       Resetting variable _64
       Resetting variable _65
       Resetting variable _68
       Resetting variable _67
       Resetting variable _66
       Resetting variable _71
       Resetting variable _70
       Resetting variable _69
       Resetting variable _72
       Resetting variable _73
      Resetting variable lasagna
      Resetting variable _76
      Resetting variable _75
      Resetting variable _74
      Resetting variable _8
      Resetting variable _78
      Resetting variable _77
      Resetting variable _8
      Resetting variable _80
      Resetting variable _79
      Resetting variable _8
     Resetting variable ___
     Resetting variable "[]"(_8, is, tasty)
     Resetting variable _8
     Resetting variable _83
     Resetting variable _82
     Resetting variable _81
     Resetting variable _84
     Resetting variable _85
    Resetting variable true
    Resetting variable "[]"(forall_impl, "()"("[]"(_8, ",", "[]"(_8, is, tasty), ",", ___)))
    Resetting variable _87
    Resetting variable _86
  Got clause: ___ or ___
    Clause unifies to: [forall_impl ([___ , [___ 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 _88
      Resetting variable $l
      Resetting variable _91
      Resetting variable _90
      Resetting variable _89
    Got clause: ___ = ___ (___)
      Clause unifies to: $l = retrieve (___)
     Clause is native.
      gdash: -
SUCCESS!
  solution found in step 77```
[done] 85 ms

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

Snippet ID:	#3000249
Snippet name:	Answer for stefanreich (>> solve $l = [$x \| [$x is tasty]])
Eternal ID of this version:	#3000249/1
Text MD5:	607c51483112ca9873d567e5349fb8a2
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 00:58:27
Source code size:	5770 bytes / 177 lines
Pitched / IR pitched:	No / No
Views / Downloads:	396 / 107
Referenced in:	[show references]

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

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

New Tinybrain snippet