Answer for stefanreich (>> solve $list = [$x

TRUE.
```
$list = [ice cream] , lasagna
$x = ___
```
```
Starting on goal: $list = [$x | [$x is tasty]]
Goal arity 3: $list = [$x | [$x is tasty]]
nextSolution
  Resetting variable "[]"(ice, cream)
  Resetting variable _2
  Resetting variable _1
  Resetting variable $list
  Resetting variable _4
  Resetting variable _3
  Resetting variable $list
  Resetting variable _6
  Resetting variable _5
  Resetting variable $list
  Resetting variable _10
  Resetting variable _9
  Resetting variable _8
  Resetting variable _7
Got clause: ___ = [___ | ___]
  Clause unifies to: $list = [___ | [___ 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: $list = retrieve (___)
   Goal arity 4: $list = retrieve (___)
      Resetting variable _88
      Resetting variable $list
      Resetting variable _91
      Resetting variable _90
      Resetting variable _89
    Got clause: ___ = ___ (___)
      Clause unifies to: $list = retrieve (___)
     Clause is native.
      gdash: -
SUCCESS!
  solution found in step 77```
[done] 93 ms

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

Snippet ID:	#3000250
Snippet name:	Answer for stefanreich (>> solve $list = [$x \| [$x is tasty]])
Eternal ID of this version:	#3000250/1
Text MD5:	2e3e5d17605e69d79a23cf657fb8f3b7
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:00:06
Source code size:	5804 bytes / 178 lines
Pitched / IR pitched:	No / No
Views / Downloads:	425 / 96
Referenced in:	[show references]

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

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

New Tinybrain snippet