1 | TRUE. |
2 | ``` |
3 | $x = "yes" , "yes no" |
4 | ``` |
5 | ``` |
6 | Starting on goal: $x = [$t | [[$t is a theory] and [head yes exists in theory $t]]] |
7 | Goal arity 3: $x = [$t | [[$t is a theory] and [head yes exists in theory $t]]] |
8 | nextSolution |
9 | Push $x ("[]"(ice, cream)) |
10 | Resetting variable $x ("[]"(ice, cream)) |
11 | Push $a (_1) |
12 | Push $b (_2) |
13 | Resetting variable $b (_2) |
14 | Resetting variable $a (_1) |
15 | Push _1 ($x) |
16 | Resetting variable _1 ($x) |
17 | Push $x (_3) |
18 | Push $y (_4) |
19 | Resetting variable $y (_4) |
20 | Resetting variable $x (_3) |
21 | Push _3 ($x) |
22 | Resetting variable _3 ($x) |
23 | Push $x (_5) |
24 | Push $y (_6) |
25 | Resetting variable $y (_6) |
26 | Resetting variable $x (_5) |
27 | Push _5 ($x) |
28 | Resetting variable _5 ($x) |
29 | Push $list (_7) |
30 | Push $x (_8) |
31 | Push $cond (_9) |
32 | Push $c (_10) |
33 | Resetting variable $c (_10) |
34 | Resetting variable $cond (_9) |
35 | Resetting variable $x (_8) |
36 | Resetting variable $list (_7) |
37 | Push _7 ($x) |
38 | Push $t (_8) |
39 | Push _9 ("[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8))) |
40 | Got clause: _7 = [_8 | _9] |
41 | Clause unifies to: $x = [_8 | [[_8 is a theory] and [head yes exists in theory _8]]] |
42 | gdash: _10 = new collector |
43 | Goal arity 4: _10 = new collector |
44 | Push $x (_11) |
45 | Resetting variable $x (_11) |
46 | Push _11 (_10) |
47 | Got clause: _11 = new collector |
48 | Clause unifies to: _10 = new collector |
49 | Clause is native. |
50 | Push _10 (<collector>) |
51 | gdash: [forall_impl ([_8 , [[_8 is a theory] and [head yes exists in theory _8]] , <collector>])] or true |
52 | Goal arity 3: [forall_impl ([_8 , [[_8 is a theory] and [head yes exists in theory _8]] , <collector>])] or true |
53 | Push $a (_12) |
54 | Push $b (_13) |
55 | Resetting variable $b (_13) |
56 | Resetting variable $a (_12) |
57 | Push _12 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
58 | Resetting variable _12 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
59 | Push $x (_14) |
60 | Push $y (_15) |
61 | Resetting variable $y (_15) |
62 | Resetting variable $x (_14) |
63 | Push _14 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
64 | Resetting variable _14 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
65 | Push $x (_16) |
66 | Push $y (_17) |
67 | Resetting variable $y (_17) |
68 | Resetting variable $x (_16) |
69 | Push _16 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
70 | Resetting variable _16 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
71 | Push $list (_18) |
72 | Push $x (_19) |
73 | Push $cond (_20) |
74 | Push $c (_21) |
75 | Resetting variable $c (_21) |
76 | Resetting variable $cond (_20) |
77 | Resetting variable $x (_19) |
78 | Resetting variable $list (_18) |
79 | Push _18 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
80 | Resetting variable _18 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
81 | Push $e (_22) |
82 | Push $c (_23) |
83 | Push $list (_24) |
84 | Resetting variable $list (_24) |
85 | Resetting variable $c (_23) |
86 | Resetting variable $e (_22) |
87 | Push _22 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
88 | Resetting variable _22 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
89 | Push $a (_25) |
90 | Push $b (_26) |
91 | Resetting variable $b (_26) |
92 | Resetting variable $a (_25) |
93 | Push _25 ("[]"(forall_impl, "()"("[]"(_8, ",", "[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8)), ",", <collector>)))) |
94 | Push _26 (true) |
95 | Got clause: _25 or _26 |
96 | Clause unifies to: [forall_impl ([_8 , [[_8 is a theory] and [head yes exists in theory _8]] , <collector>])] or true |
97 | gdash: forall_impl ([_8 , [[_8 is a theory] and [head yes exists in theory _8]] , <collector>]) |
98 | Goal arity 2: forall_impl ([_8 , [[_8 is a theory] and [head yes exists in theory _8]] , <collector>]) |
99 | Push $x (_27) |
100 | Push $collector (_28) |
101 | Resetting variable $collector (_28) |
102 | Resetting variable $x (_27) |
103 | Push $x (_29) |
104 | Resetting variable $x (_29) |
105 | Push $x (_30) |
106 | Resetting variable $x (_30) |
107 | Push $x (_31) |
108 | Resetting variable $x (_31) |
109 | Push $x (_32) |
110 | Resetting variable $x (_32) |
111 | Push $x (_33) |
112 | Push $cond (_34) |
113 | Push $c (_35) |
114 | Resetting variable $c (_35) |
115 | Resetting variable $cond (_34) |
116 | Resetting variable $x (_33) |
117 | Push _33 (_8) |
118 | Push _34 ("[]"("[]"(_8, is, a, theory), and, "[]"(head, yes, exists, in, theory, _8))) |
119 | Push _35 (<collector>) |
120 | Got clause: forall_impl ([_33 , _34 , _35]) |
121 | Clause unifies to: forall_impl ([_8 , [[_8 is a theory] and [head yes exists in theory _8]] , <collector>]) |
122 | gdash: [_8 is a theory] and [head yes exists in theory _8] |
123 | Goal arity 3: [_8 is a theory] and [head yes exists in theory _8] |
124 | Push $a (_36) |
125 | Push $b (_37) |
126 | Resetting variable $b (_37) |
127 | Resetting variable $a (_36) |
128 | Push _36 ("[]"(_8, is, a, theory)) |
129 | Push _37 ("[]"(head, yes, exists, in, theory, _8)) |
130 | Got clause: _36 and _37 |
131 | Clause unifies to: [_8 is a theory] and [head yes exists in theory _8] |
132 | gdash: _8 is a theory |
133 | Goal arity 4: _8 is a theory |
134 | Push $x (_38) |
135 | Resetting variable $x (_38) |
136 | Push _38 (_8) |
137 | Resetting variable _38 (_8) |
138 | Push $x (_39) |
139 | Push $collector (_40) |
140 | Resetting variable $collector (_40) |
141 | Resetting variable $x (_39) |
142 | Push _39 (_8) |
143 | Resetting variable _39 (_8) |
144 | Push $a (_41) |
145 | Push $x (_42) |
146 | Push $y (_43) |
147 | Resetting variable $y (_43) |
148 | Resetting variable $x (_42) |
149 | Resetting variable $a (_41) |
150 | Push _41 (_8) |
151 | Resetting variable _41 (_8) |
152 | Push $a (_44) |
153 | Push $x (_45) |
154 | Push $y (_46) |
155 | Resetting variable $y (_46) |
156 | Resetting variable $x (_45) |
157 | Resetting variable $a (_44) |
158 | Push _44 (_8) |
159 | Resetting variable _44 (_8) |
160 | Push $a (_47) |
161 | Push $x (_48) |
162 | Push $y (_49) |
163 | Resetting variable $y (_49) |
164 | Resetting variable $x (_48) |
165 | Resetting variable $a (_47) |
166 | Push _47 (_8) |
167 | Resetting variable _47 (_8) |
168 | Push $a (_50) |
169 | Push $x (_51) |
170 | Push $y (_52) |
171 | Resetting variable $y (_52) |
172 | Resetting variable $x (_51) |
173 | Resetting variable $a (_50) |
174 | Push _50 (_8) |
175 | Resetting variable _50 (_8) |
176 | Push $x (_53) |
177 | Push $y (_54) |
178 | Resetting variable $y (_54) |
179 | Resetting variable $x (_53) |
180 | Push _53 (_8) |
181 | Resetting variable _53 (_8) |
182 | Push $x (_55) |
183 | Push $y (_56) |
184 | Resetting variable $y (_56) |
185 | Resetting variable $x (_55) |
186 | Push _55 (_8) |
187 | Resetting variable _55 (_8) |
188 | Push _8 ("[]"(not, "()"(true))) |
189 | Resetting variable _8 ("[]"(not, "()"(true))) |
190 | Push _8 (mrshutco) |
191 | Resetting variable _8 (mrshutco) |
192 | Push _8 ("[]"(not, "()"(false))) |
193 | Resetting variable _8 ("[]"(not, "()"(false))) |
194 | Push $head (_57) |
195 | Push $tail (_58) |
196 | Resetting variable $tail (_58) |
197 | Resetting variable $head (_57) |
198 | Push _57 (_8) |
199 | Resetting variable _57 (_8) |
200 | Push $x (_59) |
201 | Push $head (_60) |
202 | Push $tail (_61) |
203 | Resetting variable $tail (_61) |
204 | Resetting variable $head (_60) |
205 | Resetting variable $x (_59) |
206 | Push _59 (_8) |
207 | Resetting variable _59 (_8) |
208 | Push $a (_62) |
209 | Push $b (_63) |
210 | Push $c (_64) |
211 | Resetting variable $c (_64) |
212 | Resetting variable $b (_63) |
213 | Resetting variable $a (_62) |
214 | Push _62 (_8) |
215 | Resetting variable _62 (_8) |
216 | Push $a (_65) |
217 | Push $b (_66) |
218 | Push $c (_67) |
219 | Resetting variable $c (_67) |
220 | Resetting variable $b (_66) |
221 | Resetting variable $a (_65) |
222 | Push _65 (_8) |
223 | Resetting variable _65 (_8) |
224 | Push $a (_68) |
225 | Push $b (_69) |
226 | Push $c (_70) |
227 | Resetting variable $c (_70) |
228 | Resetting variable $b (_69) |
229 | Resetting variable $a (_68) |
230 | Push _68 (_8) |
231 | Resetting variable _68 (_8) |
232 | Push $x (_71) |
233 | Resetting variable $x (_71) |
234 | Push _71 (_8) |
235 | Resetting variable _71 (_8) |
236 | Push $t (_72) |
237 | Push $e1 (_73) |
238 | Resetting variable $e1 (_73) |
239 | Resetting variable $t (_72) |
240 | Push _72 (_8) |
241 | Got clause: _72 is a theory |
242 | Clause unifies to: _8 is a theory |
243 | gdash: _73 = all theory names |
244 | Goal arity 5: _73 = all theory names |
245 | Push $x (_74) |
246 | Push $y (_75) |
247 | Resetting variable $y (_75) |
248 | Resetting variable $x (_74) |
249 | Push _74 (_73) |
250 | Resetting variable _74 (_73) |
251 | Push $x (_76) |
252 | Resetting variable $x (_76) |
253 | Push _76 (_73) |
254 | Got clause: _76 = all theory names |
255 | Clause unifies to: _73 = all theory names |
256 | Clause is native. |
257 | Push _73 ("[]"("\"1\"", "\"3\"", "\":-\"", "\":- test\"", "\"AisBisC\"", "\"DadJoke001\"", "\"DadJoke002\"", "\"DadJoke003\"", "\"HK\"", "\"IndexOfSentence\"", "\"Lasagna AI 1\"", "\"OneToTen\"", "\"PennyNickel\"", "\"YisX\"", "\"addition\"", "\"and\"", "\"and 3\"", "\"and 4\"", "\"asdf\"", "\"bgrgndzmul\"", "\"bit-bits\"", "\"blue\"", "\"brackets\"", "\"bus\"", "\"calc\"", "\"car\"", "\"computer/human\"", "\"crap\"", "\"cut test\"", "\"dad\"", "\"dang\"", "\"division\"", "\"double tasty test\"", "\"eq\"", "\"eq test\"", "\"eq test 2\"", "\"eval test squaring\"", "\"find yes\"", "\"first sentence\"", "\"foot-feet\"", "\"forall_impl\"", "\"forceEval\"", "\"good morning\"", "\"greatest\"", "\"guns\"", "\"human/computer\"", "\"ice cream\"", "\"if-user-says\"", "\"in list\"", "\"inch-inches\"", "\"is a theory\"", "\"is a, has a\"", "\"is a, has a (NL)\"", "\"is in list\"", "\"is-is-not\"", "\"isLeaf\"", "\"iter\"", "\"lasagna\"", "\"lenny\"", "\"list comp\"", "\"list fillers\"", "\"lolol\"", "\"mark\"", "\"mrshutco\"", "\"multiplication\"", "\"next\"", "\"not\"", "\"not test 1\"", "\"not test 2\"", "\"not v1\"", "\"number of theories\"", "\"number of theories 2\"", "\"onetwo\"", "\"or\"", "\"red\"", "\"simpler syntax test\"", "\"smartmul\"", "\"subtraction\"", "\"tasty list\"", "\"temp\"", "\"temp2\"", "\"temp3\"", "\"unified\"", "\"user says what is tasty\"", "\"usermul\"", "\"verify 1\"", "\"verify 2\"", "\"what is tasty\"", "\"x random test\"", "\"xor\"", "\"yes\"", "\"yes no\"", "\"yes-yeah\"")) |
258 | gdash: _8 is in list ["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "calc" "car" "computer/human" "crap" "cut test" "dad" "dang" "division" "double tasty test" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "in list" "inch-inches" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "mark" "mrshutco" "multiplication" "next" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "red" "simpler syntax test" "smartmul" "subtraction" "tasty list" "temp" "temp2" "temp3" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah"] |
259 | Goal arity 5: _8 is in list ["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "calc" "car" "computer/human" "crap" "cut test" "dad" "dang" "division" "double tasty test" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "in list" "inch-inches" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "mark" "mrshutco" "multiplication" "next" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "red" "simpler syntax test" "smartmul" "subtraction" "tasty list" "temp" "temp2" "temp3" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah"] |
260 | Push $x (_77) |
261 | Push $y (_78) |
262 | Resetting variable $y (_78) |
263 | Resetting variable $x (_77) |
264 | Push _77 (_8) |
265 | Resetting variable _77 (_8) |
266 | Push $x (_79) |
267 | Resetting variable $x (_79) |
268 | Push _79 (_8) |
269 | Resetting variable _79 (_8) |
270 | Push $x (_80) |
271 | Push $y (_81) |
272 | Resetting variable $y (_81) |
273 | Resetting variable $x (_80) |
274 | Push _80 (_8) |
275 | Resetting variable _80 (_8) |
276 | Push $x (_82) |
277 | Push $y (_83) |
278 | Resetting variable $y (_83) |
279 | Resetting variable $x (_82) |
280 | Push _82 (_8) |
281 | Resetting variable _82 (_8) |
282 | Push $e2 (_84) |
283 | Push $e1 (_85) |
284 | Resetting variable $e1 (_85) |
285 | Resetting variable $e2 (_84) |
286 | Push _84 (_8) |
287 | Resetting variable _84 (_8) |
288 | Push $e (_86) |
289 | Push $list (_87) |
290 | Push $c (_88) |
291 | Resetting variable $c (_88) |
292 | Resetting variable $list (_87) |
293 | Resetting variable $e (_86) |
294 | Push _86 (_8) |
295 | Push _87 ("[]"("\"1\"", "\"3\"", "\":-\"", "\":- test\"", "\"AisBisC\"", "\"DadJoke001\"", "\"DadJoke002\"", "\"DadJoke003\"", "\"HK\"", "\"IndexOfSentence\"", "\"Lasagna AI 1\"", "\"OneToTen\"", "\"PennyNickel\"", "\"YisX\"", "\"addition\"", "\"and\"", "\"and 3\"", "\"and 4\"", "\"asdf\"", "\"bgrgndzmul\"", "\"bit-bits\"", "\"blue\"", "\"brackets\"", "\"bus\"", "\"calc\"", "\"car\"", "\"computer/human\"", "\"crap\"", "\"cut test\"", "\"dad\"", "\"dang\"", "\"division\"", "\"double tasty test\"", "\"eq\"", "\"eq test\"", "\"eq test 2\"", "\"eval test squaring\"", "\"find yes\"", "\"first sentence\"", "\"foot-feet\"", "\"forall_impl\"", "\"forceEval\"", "\"good morning\"", "\"greatest\"", "\"guns\"", "\"human/computer\"", "\"ice cream\"", "\"if-user-says\"", "\"in list\"", "\"inch-inches\"", "\"is a theory\"", "\"is a, has a\"", "\"is a, has a (NL)\"", "\"is in list\"", "\"is-is-not\"", "\"isLeaf\"", "\"iter\"", "\"lasagna\"", "\"lenny\"", "\"list comp\"", "\"list fillers\"", "\"lolol\"", "\"mark\"", "\"mrshutco\"", "\"multiplication\"", "\"next\"", "\"not\"", "\"not test 1\"", "\"not test 2\"", "\"not v1\"", "\"number of theories\"", "\"number of theories 2\"", "\"onetwo\"", "\"or\"", "\"red\"", "\"simpler syntax test\"", "\"smartmul\"", "\"subtraction\"", "\"tasty list\"", "\"temp\"", "\"temp2\"", "\"temp3\"", "\"unified\"", "\"user says what is tasty\"", "\"usermul\"", "\"verify 1\"", "\"verify 2\"", "\"what is tasty\"", "\"x random test\"", "\"xor\"", "\"yes\"", "\"yes no\"", "\"yes-yeah\"")) |
296 | Got clause: _86 is in list _87 |
297 | Clause unifies to: _8 is in list ["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "calc" "car" "computer/human" "crap" "cut test" "dad" "dang" "division" "double tasty test" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "in list" "inch-inches" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "mark" "mrshutco" "multiplication" "next" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "red" "simpler syntax test" "smartmul" "subtraction" "tasty list" "temp" "temp2" "temp3" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah"] |
298 | gdash: _88 = tocons (["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "calc" "car" "computer/human" "crap" "cut test" "dad" "dang" "division" "double tasty test" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "in list" "inch-inches" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "mark" "mrshutco" "multiplication" "next" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "red" "simpler syntax test" "smartmul" "subtraction" "tasty list" "temp" "temp2" "temp3" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah"]) |
299 | Goal arity 4: _88 = tocons (["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "calc" "car" "computer/human" "crap" "cut test" "dad" "dang" "division" "double tasty test" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "in list" "inch-inches" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "mark" "mrshutco" "multiplication" "next" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "red" "simpler syntax test" "smartmul" "subtraction" "tasty list" "temp" "temp2" "temp3" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah"]) |
300 | Push $x (_89) |
301 | Resetting variable $x (_89) |
302 | Push _89 (_88) |
303 | Resetting variable _89 (_88) |
304 | Push $x (_90) |
305 | Push $collector (_91) |
306 | Resetting variable $collector (_91) |
307 | Resetting variable $x (_90) |
308 | Push _90 (_88) |
309 | Resetting variable _90 (_88) |
310 | Push $a (_92) |
311 | Push $x (_93) |
312 | Push $y (_94) |
313 | Resetting variable $y (_94) |
314 | Resetting variable $x (_93) |
315 | Resetting variable $a (_92) |
316 | Push _92 (_88) |
317 | Resetting variable _92 (_88) |
318 | Push $a (_95) |
319 | Push $x (_96) |
320 | Push $y (_97) |
321 | Resetting variable $y (_97) |
322 | Resetting variable $x (_96) |
323 | Resetting variable $a (_95) |
324 | Push _95 (_88) |
325 | Resetting variable _95 (_88) |
326 | Push $a (_98) |
327 | Push $x (_99) |
328 | Push $y (_100) |
329 | Resetting variable $y (_100) |
330 | Resetting variable $x (_99) |
331 | Resetting variable $a (_98) |
332 | Push _98 (_88) |
333 | Resetting variable _98 (_88) |
334 | Push $a (_101) |
335 | Push $x (_102) |
336 | Push $y (_103) |
337 | Resetting variable $y (_103) |
338 | Resetting variable $x (_102) |
339 | Resetting variable $a (_101) |
340 | Push _101 (_88) |
341 | Resetting variable _101 (_88) |
342 | Push $x (_104) |
343 | Push $y (_105) |
344 | Resetting variable $y (_105) |
345 | Resetting variable $x (_104) |
346 | Push _104 (_88) |
347 | Push _105 ("[]"("\"1\"", "\"3\"", "\":-\"", "\":- test\"", "\"AisBisC\"", "\"DadJoke001\"", "\"DadJoke002\"", "\"DadJoke003\"", "\"HK\"", "\"IndexOfSentence\"", "\"Lasagna AI 1\"", "\"OneToTen\"", "\"PennyNickel\"", "\"YisX\"", "\"addition\"", "\"and\"", "\"and 3\"", "\"and 4\"", "\"asdf\"", "\"bgrgndzmul\"", "\"bit-bits\"", "\"blue\"", "\"brackets\"", "\"bus\"", "\"calc\"", "\"car\"", "\"computer/human\"", "\"crap\"", "\"cut test\"", "\"dad\"", "\"dang\"", "\"division\"", "\"double tasty test\"", "\"eq\"", "\"eq test\"", "\"eq test 2\"", "\"eval test squaring\"", "\"find yes\"", "\"first sentence\"", "\"foot-feet\"", "\"forall_impl\"", "\"forceEval\"", "\"good morning\"", "\"greatest\"", "\"guns\"", "\"human/computer\"", "\"ice cream\"", "\"if-user-says\"", "\"in list\"", "\"inch-inches\"", "\"is a theory\"", "\"is a, has a\"", "\"is a, has a (NL)\"", "\"is in list\"", "\"is-is-not\"", "\"isLeaf\"", "\"iter\"", "\"lasagna\"", "\"lenny\"", "\"list comp\"", "\"list fillers\"", "\"lolol\"", "\"mark\"", "\"mrshutco\"", "\"multiplication\"", "\"next\"", "\"not\"", "\"not test 1\"", "\"not test 2\"", "\"not v1\"", "\"number of theories\"", "\"number of theories 2\"", "\"onetwo\"", "\"or\"", "\"red\"", "\"simpler syntax test\"", "\"smartmul\"", "\"subtraction\"", "\"tasty list\"", "\"temp\"", "\"temp2\"", "\"temp3\"", "\"unified\"", "\"user says what is tasty\"", "\"usermul\"", "\"verify 1\"", "\"verify 2\"", "\"what is tasty\"", "\"x random test\"", "\"xor\"", "\"yes\"", "\"yes no\"", "\"yes-yeah\"")) |
348 | Got clause: _104 = tocons (_105) |
349 | Clause unifies to: _88 = tocons (["1" "3" ":-" ":- test" "AisBisC" "DadJoke001" "DadJoke002" "DadJoke003" "HK" "IndexOfSentence" "Lasagna AI 1" "OneToTen" "PennyNickel" "YisX" "addition" "and" "and 3" "and 4" "asdf" "bgrgndzmul" "bit-bits" "blue" "brackets" "bus" "calc" "car" "computer/human" "crap" "cut test" "dad" "dang" "division" "double tasty test" "eq" "eq test" "eq test 2" "eval test squaring" "find yes" "first sentence" "foot-feet" "forall_impl" "forceEval" "good morning" "greatest" "guns" "human/computer" "ice cream" "if-user-says" "in list" "inch-inches" "is a theory" "is a, has a" "is a, has a (NL)" "is in list" "is-is-not" "isLeaf" "iter" "lasagna" "lenny" "list comp" "list fillers" "lolol" "mark" "mrshutco" "multiplication" "next" "not" "not test 1" "not test 2" "not v1" "number of theories" "number of theories 2" "onetwo" "or" "red" "simpler syntax test" "smartmul" "subtraction" "tasty list" "temp" "temp2" "temp3" "unified" "user says what is tasty" "usermul" "verify 1" "verify 2" "what is tasty" "x random test" "xor" "yes" "yes no" "yes-yeah"]) |
350 | Clause is native. |
351 | Push _88 ("[]"(cons, "\"1\"", "[]"(cons, "\"3\"", "[]"(cons, "\":-\"", "[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
352 | gdash: _8 = iter [cons "1" [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
353 | Goal arity 4: _8 = iter [cons "1" [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
354 | Push $x (_106) |
355 | Resetting variable $x (_106) |
356 | Push _106 (_8) |
357 | Resetting variable _106 (_8) |
358 | Push $x (_107) |
359 | Push $collector (_108) |
360 | Resetting variable $collector (_108) |
361 | Resetting variable $x (_107) |
362 | Push _107 (_8) |
363 | Resetting variable _107 (_8) |
364 | Push $a (_109) |
365 | Push $x (_110) |
366 | Push $y (_111) |
367 | Resetting variable $y (_111) |
368 | Resetting variable $x (_110) |
369 | Resetting variable $a (_109) |
370 | Push _109 (_8) |
371 | Resetting variable _109 (_8) |
372 | Push $a (_112) |
373 | Push $x (_113) |
374 | Push $y (_114) |
375 | Resetting variable $y (_114) |
376 | Resetting variable $x (_113) |
377 | Resetting variable $a (_112) |
378 | Push _112 (_8) |
379 | Resetting variable _112 (_8) |
380 | Push $a (_115) |
381 | Push $x (_116) |
382 | Push $y (_117) |
383 | Resetting variable $y (_117) |
384 | Resetting variable $x (_116) |
385 | Resetting variable $a (_115) |
386 | Push _115 (_8) |
387 | Resetting variable _115 (_8) |
388 | Push $a (_118) |
389 | Push $x (_119) |
390 | Push $y (_120) |
391 | Resetting variable $y (_120) |
392 | Resetting variable $x (_119) |
393 | Resetting variable $a (_118) |
394 | Push _118 (_8) |
395 | Resetting variable _118 (_8) |
396 | Push $x (_121) |
397 | Push $y (_122) |
398 | Resetting variable $y (_122) |
399 | Resetting variable $x (_121) |
400 | Push _121 (_8) |
401 | Resetting variable _121 (_8) |
402 | Push $x (_123) |
403 | Push $y (_124) |
404 | Resetting variable $y (_124) |
405 | Resetting variable $x (_123) |
406 | Push _123 (_8) |
407 | Resetting variable _123 (_8) |
408 | Push _8 ("[]"(not, "()"(true))) |
409 | Resetting variable _8 ("[]"(not, "()"(true))) |
410 | Push _8 (mrshutco) |
411 | Resetting variable _8 (mrshutco) |
412 | Push _8 ("[]"(not, "()"(false))) |
413 | Resetting variable _8 ("[]"(not, "()"(false))) |
414 | Push $head (_125) |
415 | Push $tail (_126) |
416 | Resetting variable $tail (_126) |
417 | Resetting variable $head (_125) |
418 | Push _125 (_8) |
419 | Push _8 ("\"1\"") |
420 | Push _126 ("[]"(cons, "\"3\"", "[]"(cons, "\":-\"", "[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
421 | Got clause: _125 = iter [cons _125 _126] |
422 | Clause unifies to: "1" = iter [cons "1" [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
423 | gdash: head yes exists in theory "1" |
424 | Goal arity 6: head yes exists in theory "1" |
425 | Push $h (_127) |
426 | Push $t (_128) |
427 | Resetting variable $t (_128) |
428 | Resetting variable $h (_127) |
429 | Push _127 (yes) |
430 | Push _128 ("\"1\"") |
431 | Got clause: head _127 exists in theory _128 |
432 | Clause unifies to: head yes exists in theory "1" |
433 | Clause is native. |
434 | Native clause fails |
435 | Resetting variable _128 ("\"1\"") |
436 | Resetting variable _127 (yes) |
437 | Push $x (_129) |
438 | Push $i (_130) |
439 | Push $y (_131) |
440 | Resetting variable $y (_131) |
441 | Resetting variable $i (_130) |
442 | Resetting variable $x (_129) |
443 | Push _129 (head) |
444 | Resetting variable _129 (head) |
445 | Resetting variable _126 ("[]"(cons, "\"3\"", "[]"(cons, "\":-\"", "[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
446 | Resetting variable _8 ("\"1\"") |
447 | Resetting variable _125 (_8) |
448 | Push $x (_132) |
449 | Push $head (_133) |
450 | Push $tail (_134) |
451 | Resetting variable $tail (_134) |
452 | Resetting variable $head (_133) |
453 | Resetting variable $x (_132) |
454 | Push _132 (_8) |
455 | Push _133 ("\"1\"") |
456 | Push _134 ("[]"(cons, "\"3\"", "[]"(cons, "\":-\"", "[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
457 | Got clause: _132 = iter [cons _133 _134] |
458 | Clause unifies to: _8 = iter [cons "1" [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
459 | gdash: _8 = iter [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
460 | Goal arity 4: _8 = iter [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
461 | Push $x (_135) |
462 | Resetting variable $x (_135) |
463 | Push _135 (_8) |
464 | Resetting variable _135 (_8) |
465 | Push $x (_136) |
466 | Push $collector (_137) |
467 | Resetting variable $collector (_137) |
468 | Resetting variable $x (_136) |
469 | Push _136 (_8) |
470 | Resetting variable _136 (_8) |
471 | Push $a (_138) |
472 | Push $x (_139) |
473 | Push $y (_140) |
474 | Resetting variable $y (_140) |
475 | Resetting variable $x (_139) |
476 | Resetting variable $a (_138) |
477 | Push _138 (_8) |
478 | Resetting variable _138 (_8) |
479 | Push $a (_141) |
480 | Push $x (_142) |
481 | Push $y (_143) |
482 | Resetting variable $y (_143) |
483 | Resetting variable $x (_142) |
484 | Resetting variable $a (_141) |
485 | Push _141 (_8) |
486 | Resetting variable _141 (_8) |
487 | Push $a (_144) |
488 | Push $x (_145) |
489 | Push $y (_146) |
490 | Resetting variable $y (_146) |
491 | Resetting variable $x (_145) |
492 | Resetting variable $a (_144) |
493 | Push _144 (_8) |
494 | Resetting variable _144 (_8) |
495 | Push $a (_147) |
496 | Push $x (_148) |
497 | Push $y (_149) |
498 | Resetting variable $y (_149) |
499 | Resetting variable $x (_148) |
500 | Resetting variable $a (_147) |
501 | Push _147 (_8) |
502 | Resetting variable _147 (_8) |
503 | Push $x (_150) |
504 | Push $y (_151) |
505 | Resetting variable $y (_151) |
506 | Resetting variable $x (_150) |
507 | Push _150 (_8) |
508 | Resetting variable _150 (_8) |
509 | Push $x (_152) |
510 | Push $y (_153) |
511 | Resetting variable $y (_153) |
512 | Resetting variable $x (_152) |
513 | Push _152 (_8) |
514 | Resetting variable _152 (_8) |
515 | Push _8 ("[]"(not, "()"(true))) |
516 | Resetting variable _8 ("[]"(not, "()"(true))) |
517 | Push _8 (mrshutco) |
518 | Resetting variable _8 (mrshutco) |
519 | Push _8 ("[]"(not, "()"(false))) |
520 | Resetting variable _8 ("[]"(not, "()"(false))) |
521 | Push $head (_154) |
522 | Push $tail (_155) |
523 | Resetting variable $tail (_155) |
524 | Resetting variable $head (_154) |
525 | Push _154 (_8) |
526 | Push _8 ("\"3\"") |
527 | Push _155 ("[]"(cons, "\":-\"", "[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
528 | Got clause: _154 = iter [cons _154 _155] |
529 | Clause unifies to: "3" = iter [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
530 | gdash: head yes exists in theory "3" |
531 | Goal arity 6: head yes exists in theory "3" |
532 | Push $h (_156) |
533 | Push $t (_157) |
534 | Resetting variable $t (_157) |
535 | Resetting variable $h (_156) |
536 | Push _156 (yes) |
537 | Push _157 ("\"3\"") |
538 | Got clause: head _156 exists in theory _157 |
539 | Clause unifies to: head yes exists in theory "3" |
540 | Clause is native. |
541 | Native clause fails |
542 | Resetting variable _157 ("\"3\"") |
543 | Resetting variable _156 (yes) |
544 | Push $x (_158) |
545 | Push $i (_159) |
546 | Push $y (_160) |
547 | Resetting variable $y (_160) |
548 | Resetting variable $i (_159) |
549 | Resetting variable $x (_158) |
550 | Push _158 (head) |
551 | Resetting variable _158 (head) |
552 | Resetting variable _155 ("[]"(cons, "\":-\"", "[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
553 | Resetting variable _8 ("\"3\"") |
554 | Resetting variable _154 (_8) |
555 | Push $x (_161) |
556 | Push $head (_162) |
557 | Push $tail (_163) |
558 | Resetting variable $tail (_163) |
559 | Resetting variable $head (_162) |
560 | Resetting variable $x (_161) |
561 | Push _161 (_8) |
562 | Push _162 ("\"3\"") |
563 | Push _163 ("[]"(cons, "\":-\"", "[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
564 | Got clause: _161 = iter [cons _162 _163] |
565 | Clause unifies to: _8 = iter [cons "3" [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
566 | gdash: _8 = iter [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
567 | Goal arity 4: _8 = iter [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
568 | Push $x (_164) |
569 | Resetting variable $x (_164) |
570 | Push _164 (_8) |
571 | Resetting variable _164 (_8) |
572 | Push $x (_165) |
573 | Push $collector (_166) |
574 | Resetting variable $collector (_166) |
575 | Resetting variable $x (_165) |
576 | Push _165 (_8) |
577 | Resetting variable _165 (_8) |
578 | Push $a (_167) |
579 | Push $x (_168) |
580 | Push $y (_169) |
581 | Resetting variable $y (_169) |
582 | Resetting variable $x (_168) |
583 | Resetting variable $a (_167) |
584 | Push _167 (_8) |
585 | Resetting variable _167 (_8) |
586 | Push $a (_170) |
587 | Push $x (_171) |
588 | Push $y (_172) |
589 | Resetting variable $y (_172) |
590 | Resetting variable $x (_171) |
591 | Resetting variable $a (_170) |
592 | Push _170 (_8) |
593 | Resetting variable _170 (_8) |
594 | Push $a (_173) |
595 | Push $x (_174) |
596 | Push $y (_175) |
597 | Resetting variable $y (_175) |
598 | Resetting variable $x (_174) |
599 | Resetting variable $a (_173) |
600 | Push _173 (_8) |
601 | Resetting variable _173 (_8) |
602 | Push $a (_176) |
603 | Push $x (_177) |
604 | Push $y (_178) |
605 | Resetting variable $y (_178) |
606 | Resetting variable $x (_177) |
607 | Resetting variable $a (_176) |
608 | Push _176 (_8) |
609 | Resetting variable _176 (_8) |
610 | Push $x (_179) |
611 | Push $y (_180) |
612 | Resetting variable $y (_180) |
613 | Resetting variable $x (_179) |
614 | Push _179 (_8) |
615 | Resetting variable _179 (_8) |
616 | Push $x (_181) |
617 | Push $y (_182) |
618 | Resetting variable $y (_182) |
619 | Resetting variable $x (_181) |
620 | Push _181 (_8) |
621 | Resetting variable _181 (_8) |
622 | Push _8 ("[]"(not, "()"(true))) |
623 | Resetting variable _8 ("[]"(not, "()"(true))) |
624 | Push _8 (mrshutco) |
625 | Resetting variable _8 (mrshutco) |
626 | Push _8 ("[]"(not, "()"(false))) |
627 | Resetting variable _8 ("[]"(not, "()"(false))) |
628 | Push $head (_183) |
629 | Push $tail (_184) |
630 | Resetting variable $tail (_184) |
631 | Resetting variable $head (_183) |
632 | Push _183 (_8) |
633 | Push _8 ("\":-\"") |
634 | Push _184 ("[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
635 | Got clause: _183 = iter [cons _183 _184] |
636 | Clause unifies to: ":-" = iter [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
637 | gdash: head yes exists in theory ":-" |
638 | Goal arity 6: head yes exists in theory ":-" |
639 | Push $h (_185) |
640 | Push $t (_186) |
641 | Resetting variable $t (_186) |
642 | Resetting variable $h (_185) |
643 | Push _185 (yes) |
644 | Push _186 ("\":-\"") |
645 | Got clause: head _185 exists in theory _186 |
646 | Clause unifies to: head yes exists in theory ":-" |
647 | Clause is native. |
648 | Native clause fails |
649 | Resetting variable _186 ("\":-\"") |
650 | Resetting variable _185 (yes) |
651 | Push $x (_187) |
652 | Push $i (_188) |
653 | Push $y (_189) |
654 | Resetting variable $y (_189) |
655 | Resetting variable $i (_188) |
656 | Resetting variable $x (_187) |
657 | Push _187 (head) |
658 | Resetting variable _187 (head) |
659 | Resetting variable _184 ("[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
660 | Resetting variable _8 ("\":-\"") |
661 | Resetting variable _183 (_8) |
662 | Push $x (_190) |
663 | Push $head (_191) |
664 | Push $tail (_192) |
665 | Resetting variable $tail (_192) |
666 | Resetting variable $head (_191) |
667 | Resetting variable $x (_190) |
668 | Push _190 (_8) |
669 | Push _191 ("\":-\"") |
670 | Push _192 ("[]"(cons, "\":- test\"", "[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
671 | Got clause: _190 = iter [cons _191 _192] |
672 | Clause unifies to: _8 = iter [cons ":-" [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
673 | gdash: _8 = iter [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
674 | Goal arity 4: _8 = iter [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
675 | Push $x (_193) |
676 | Resetting variable $x (_193) |
677 | Push _193 (_8) |
678 | Resetting variable _193 (_8) |
679 | Push $x (_194) |
680 | Push $collector (_195) |
681 | Resetting variable $collector (_195) |
682 | Resetting variable $x (_194) |
683 | Push _194 (_8) |
684 | Resetting variable _194 (_8) |
685 | Push $a (_196) |
686 | Push $x (_197) |
687 | Push $y (_198) |
688 | Resetting variable $y (_198) |
689 | Resetting variable $x (_197) |
690 | Resetting variable $a (_196) |
691 | Push _196 (_8) |
692 | Resetting variable _196 (_8) |
693 | Push $a (_199) |
694 | Push $x (_200) |
695 | Push $y (_201) |
696 | Resetting variable $y (_201) |
697 | Resetting variable $x (_200) |
698 | Resetting variable $a (_199) |
699 | Push _199 (_8) |
700 | Resetting variable _199 (_8) |
701 | Push $a (_202) |
702 | Push $x (_203) |
703 | Push $y (_204) |
704 | Resetting variable $y (_204) |
705 | Resetting variable $x (_203) |
706 | Resetting variable $a (_202) |
707 | Push _202 (_8) |
708 | Resetting variable _202 (_8) |
709 | Push $a (_205) |
710 | Push $x (_206) |
711 | Push $y (_207) |
712 | Resetting variable $y (_207) |
713 | Resetting variable $x (_206) |
714 | Resetting variable $a (_205) |
715 | Push _205 (_8) |
716 | Resetting variable _205 (_8) |
717 | Push $x (_208) |
718 | Push $y (_209) |
719 | Resetting variable $y (_209) |
720 | Resetting variable $x (_208) |
721 | Push _208 (_8) |
722 | Resetting variable _208 (_8) |
723 | Push $x (_210) |
724 | Push $y (_211) |
725 | Resetting variable $y (_211) |
726 | Resetting variable $x (_210) |
727 | Push _210 (_8) |
728 | Resetting variable _210 (_8) |
729 | Push _8 ("[]"(not, "()"(true))) |
730 | Resetting variable _8 ("[]"(not, "()"(true))) |
731 | Push _8 (mrshutco) |
732 | Resetting variable _8 (mrshutco) |
733 | Push _8 ("[]"(not, "()"(false))) |
734 | Resetting variable _8 ("[]"(not, "()"(false))) |
735 | Push $head (_212) |
736 | Push $tail (_213) |
737 | Resetting variable $tail (_213) |
738 | Resetting variable $head (_212) |
739 | Push _212 (_8) |
740 | Push _8 ("\":- test\"") |
741 | Push _213 ("[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
742 | Got clause: _212 = iter [cons _212 _213] |
743 | Clause unifies to: ":- test" = iter [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
744 | gdash: head yes exists in theory ":- test" |
745 | Goal arity 6: head yes exists in theory ":- test" |
746 | Push $h (_214) |
747 | Push $t (_215) |
748 | Resetting variable $t (_215) |
749 | Resetting variable $h (_214) |
750 | Push _214 (yes) |
751 | Push _215 ("\":- test\"") |
752 | Got clause: head _214 exists in theory _215 |
753 | Clause unifies to: head yes exists in theory ":- test" |
754 | Clause is native. |
755 | Native clause fails |
756 | Resetting variable _215 ("\":- test\"") |
757 | Resetting variable _214 (yes) |
758 | Push $x (_216) |
759 | Push $i (_217) |
760 | Push $y (_218) |
761 | Resetting variable $y (_218) |
762 | Resetting variable $i (_217) |
763 | Resetting variable $x (_216) |
764 | Push _216 (head) |
765 | Resetting variable _216 (head) |
766 | Resetting variable _213 ("[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
767 | Resetting variable _8 ("\":- test\"") |
768 | Resetting variable _212 (_8) |
769 | Push $x (_219) |
770 | Push $head (_220) |
771 | Push $tail (_221) |
772 | Resetting variable $tail (_221) |
773 | Resetting variable $head (_220) |
774 | Resetting variable $x (_219) |
775 | Push _219 (_8) |
776 | Push _220 ("\":- test\"") |
777 | Push _221 ("[]"(cons, "\"AisBisC\"", "[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
778 | Got clause: _219 = iter [cons _220 _221] |
779 | Clause unifies to: _8 = iter [cons ":- test" [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
780 | gdash: _8 = iter [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
781 | Goal arity 4: _8 = iter [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
782 | Push $x (_222) |
783 | Resetting variable $x (_222) |
784 | Push _222 (_8) |
785 | Resetting variable _222 (_8) |
786 | Push $x (_223) |
787 | Push $collector (_224) |
788 | Resetting variable $collector (_224) |
789 | Resetting variable $x (_223) |
790 | Push _223 (_8) |
791 | Resetting variable _223 (_8) |
792 | Push $a (_225) |
793 | Push $x (_226) |
794 | Push $y (_227) |
795 | Resetting variable $y (_227) |
796 | Resetting variable $x (_226) |
797 | Resetting variable $a (_225) |
798 | Push _225 (_8) |
799 | Resetting variable _225 (_8) |
800 | Push $a (_228) |
801 | Push $x (_229) |
802 | Push $y (_230) |
803 | Resetting variable $y (_230) |
804 | Resetting variable $x (_229) |
805 | Resetting variable $a (_228) |
806 | Push _228 (_8) |
807 | Resetting variable _228 (_8) |
808 | Push $a (_231) |
809 | Push $x (_232) |
810 | Push $y (_233) |
811 | Resetting variable $y (_233) |
812 | Resetting variable $x (_232) |
813 | Resetting variable $a (_231) |
814 | Push _231 (_8) |
815 | Resetting variable _231 (_8) |
816 | Push $a (_234) |
817 | Push $x (_235) |
818 | Push $y (_236) |
819 | Resetting variable $y (_236) |
820 | Resetting variable $x (_235) |
821 | Resetting variable $a (_234) |
822 | Push _234 (_8) |
823 | Resetting variable _234 (_8) |
824 | Push $x (_237) |
825 | Push $y (_238) |
826 | Resetting variable $y (_238) |
827 | Resetting variable $x (_237) |
828 | Push _237 (_8) |
829 | Resetting variable _237 (_8) |
830 | Push $x (_239) |
831 | Push $y (_240) |
832 | Resetting variable $y (_240) |
833 | Resetting variable $x (_239) |
834 | Push _239 (_8) |
835 | Resetting variable _239 (_8) |
836 | Push _8 ("[]"(not, "()"(true))) |
837 | Resetting variable _8 ("[]"(not, "()"(true))) |
838 | Push _8 (mrshutco) |
839 | Resetting variable _8 (mrshutco) |
840 | Push _8 ("[]"(not, "()"(false))) |
841 | Resetting variable _8 ("[]"(not, "()"(false))) |
842 | Push $head (_241) |
843 | Push $tail (_242) |
844 | Resetting variable $tail (_242) |
845 | Resetting variable $head (_241) |
846 | Push _241 (_8) |
847 | Push _8 ("\"AisBisC\"") |
848 | Push _242 ("[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
849 | Got clause: _241 = iter [cons _241 _242] |
850 | Clause unifies to: "AisBisC" = iter [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
851 | gdash: head yes exists in theory "AisBisC" |
852 | Goal arity 6: head yes exists in theory "AisBisC" |
853 | Push $h (_243) |
854 | Push $t (_244) |
855 | Resetting variable $t (_244) |
856 | Resetting variable $h (_243) |
857 | Push _243 (yes) |
858 | Push _244 ("\"AisBisC\"") |
859 | Got clause: head _243 exists in theory _244 |
860 | Clause unifies to: head yes exists in theory "AisBisC" |
861 | Clause is native. |
862 | Native clause fails |
863 | Resetting variable _244 ("\"AisBisC\"") |
864 | Resetting variable _243 (yes) |
865 | Push $x (_245) |
866 | Push $i (_246) |
867 | Push $y (_247) |
868 | Resetting variable $y (_247) |
869 | Resetting variable $i (_246) |
870 | Resetting variable $x (_245) |
871 | Push _245 (head) |
872 | Resetting variable _245 (head) |
873 | Resetting variable _242 ("[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
874 | Resetting variable _8 ("\"AisBisC\"") |
875 | Resetting variable _241 (_8) |
876 | Push $x (_248) |
877 | Push $head (_249) |
878 | Push $tail (_250) |
879 | Resetting variable $tail (_250) |
880 | Resetting variable $head (_249) |
881 | Resetting variable $x (_248) |
882 | Push _248 (_8) |
883 | Push _249 ("\"AisBisC\"") |
884 | Push _250 ("[]"(cons, "\"DadJoke001\"", "[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
885 | Got clause: _248 = iter [cons _249 _250] |
886 | Clause unifies to: _8 = iter [cons "AisBisC" [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
887 | gdash: _8 = iter [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
888 | Goal arity 4: _8 = iter [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
889 | Push $x (_251) |
890 | Resetting variable $x (_251) |
891 | Push _251 (_8) |
892 | Resetting variable _251 (_8) |
893 | Push $x (_252) |
894 | Push $collector (_253) |
895 | Resetting variable $collector (_253) |
896 | Resetting variable $x (_252) |
897 | Push _252 (_8) |
898 | Resetting variable _252 (_8) |
899 | Push $a (_254) |
900 | Push $x (_255) |
901 | Push $y (_256) |
902 | Resetting variable $y (_256) |
903 | Resetting variable $x (_255) |
904 | Resetting variable $a (_254) |
905 | Push _254 (_8) |
906 | Resetting variable _254 (_8) |
907 | Push $a (_257) |
908 | Push $x (_258) |
909 | Push $y (_259) |
910 | Resetting variable $y (_259) |
911 | Resetting variable $x (_258) |
912 | Resetting variable $a (_257) |
913 | Push _257 (_8) |
914 | Resetting variable _257 (_8) |
915 | Push $a (_260) |
916 | Push $x (_261) |
917 | Push $y (_262) |
918 | Resetting variable $y (_262) |
919 | Resetting variable $x (_261) |
920 | Resetting variable $a (_260) |
921 | Push _260 (_8) |
922 | Resetting variable _260 (_8) |
923 | Push $a (_263) |
924 | Push $x (_264) |
925 | Push $y (_265) |
926 | Resetting variable $y (_265) |
927 | Resetting variable $x (_264) |
928 | Resetting variable $a (_263) |
929 | Push _263 (_8) |
930 | Resetting variable _263 (_8) |
931 | Push $x (_266) |
932 | Push $y (_267) |
933 | Resetting variable $y (_267) |
934 | Resetting variable $x (_266) |
935 | Push _266 (_8) |
936 | Resetting variable _266 (_8) |
937 | Push $x (_268) |
938 | Push $y (_269) |
939 | Resetting variable $y (_269) |
940 | Resetting variable $x (_268) |
941 | Push _268 (_8) |
942 | Resetting variable _268 (_8) |
943 | Push _8 ("[]"(not, "()"(true))) |
944 | Resetting variable _8 ("[]"(not, "()"(true))) |
945 | Push _8 (mrshutco) |
946 | Resetting variable _8 (mrshutco) |
947 | Push _8 ("[]"(not, "()"(false))) |
948 | Resetting variable _8 ("[]"(not, "()"(false))) |
949 | Push $head (_270) |
950 | Push $tail (_271) |
951 | Resetting variable $tail (_271) |
952 | Resetting variable $head (_270) |
953 | Push _270 (_8) |
954 | Push _8 ("\"DadJoke001\"") |
955 | Push _271 ("[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
956 | Got clause: _270 = iter [cons _270 _271] |
957 | Clause unifies to: "DadJoke001" = iter [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
958 | gdash: head yes exists in theory "DadJoke001" |
959 | Goal arity 6: head yes exists in theory "DadJoke001" |
960 | Push $h (_272) |
961 | Push $t (_273) |
962 | Resetting variable $t (_273) |
963 | Resetting variable $h (_272) |
964 | Push _272 (yes) |
965 | Push _273 ("\"DadJoke001\"") |
966 | Got clause: head _272 exists in theory _273 |
967 | Clause unifies to: head yes exists in theory "DadJoke001" |
968 | Clause is native. |
969 | Native clause fails |
970 | Resetting variable _273 ("\"DadJoke001\"") |
971 | Resetting variable _272 (yes) |
972 | Push $x (_274) |
973 | Push $i (_275) |
974 | Push $y (_276) |
975 | Resetting variable $y (_276) |
976 | Resetting variable $i (_275) |
977 | Resetting variable $x (_274) |
978 | Push _274 (head) |
979 | Resetting variable _274 (head) |
980 | Resetting variable _271 ("[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
981 | Resetting variable _8 ("\"DadJoke001\"") |
982 | Resetting variable _270 (_8) |
983 | Push $x (_277) |
984 | Push $head (_278) |
985 | Push $tail (_279) |
986 | Resetting variable $tail (_279) |
987 | Resetting variable $head (_278) |
988 | Resetting variable $x (_277) |
989 | Push _277 (_8) |
990 | Push _278 ("\"DadJoke001\"") |
991 | Push _279 ("[]"(cons, "\"DadJoke002\"", "[]"(cons, "\"DadJoke003\"", "[]"(cons, "\"HK\"", "[]"(cons, "\"IndexOfSentence\"", "[]"(cons, "\"Lasagna AI 1\"", "[]"(cons, "\"OneToTen\"", "[]"(cons, "\"PennyNickel\"", "[]"(cons, "\"YisX\"", "[]"(cons, "\"addition\"", "[]"(cons, "\"and\"", "[]"(cons, "\"and 3\"", "[]"(cons, "\"and 4\"", "[]"(cons, "\"asdf\"", "[]"(cons, "\"bgrgndzmul\"", "[]"(cons, "\"bit-bits\"", "[]"(cons, "\"blue\"", "[]"(cons, "\"brackets\"", "[]"(cons, "\"bus\"", "[]"(cons, "\"calc\"", "[]"(cons, "\"car\"", "[]"(cons, "\"computer/human\"", "[]"(cons, "\"crap\"", "[]"(cons, "\"cut test\"", "[]"(cons, "\"dad\"", "[]"(cons, "\"dang\"", "[]"(cons, "\"division\"", "[]"(cons, "\"double tasty test\"", "[]"(cons, "\"eq\"", "[]"(cons, "\"eq test\"", "[]"(cons, "\"eq test 2\"", "[]"(cons, "\"eval test squaring\"", "[]"(cons, "\"find yes\"", "[]"(cons, "\"first sentence\"", "[]"(cons, "\"foot-feet\"", "[]"(cons, "\"forall_impl\"", "[]"(cons, "\"forceEval\"", "[]"(cons, "\"good morning\"", "[]"(cons, "\"greatest\"", "[]"(cons, "\"guns\"", "[]"(cons, "\"human/computer\"", "[]"(cons, "\"ice cream\"", "[]"(cons, "\"if-user-says\"", "[]"(cons, "\"in list\"", "[]"(cons, "\"inch-inches\"", "[]"(cons, "\"is a theory\"", "[]"(cons, "\"is a, has a\"", "[]"(cons, "\"is a, has a (NL)\"", "[]"(cons, "\"is in list\"", "[]"(cons, "\"is-is-not\"", "[]"(cons, "\"isLeaf\"", "[]"(cons, "\"iter\"", "[]"(cons, "\"lasagna\"", "[]"(cons, "\"lenny\"", "[]"(cons, "\"list comp\"", "[]"(cons, "\"list fillers\"", "[]"(cons, "\"lolol\"", "[]"(cons, "\"mark\"", "[]"(cons, "\"mrshutco\"", "[]"(cons, "\"multiplication\"", "[]"(cons, "\"next\"", "[]"(cons, "\"not\"", "[]"(cons, "\"not test 1\"", "[]"(cons, "\"not test 2\"", "[]"(cons, "\"not v1\"", "[]"(cons, "\"number of theories\"", "[]"(cons, "\"number of theories 2\"", "[]"(cons, "\"onetwo\"", "[]"(cons, "\"or\"", "[]"(cons, "\"red\"", "[]"(cons, "\"simpler syntax test\"", "[]"(cons, "\"smartmul\"", "[]"(cons, "\"subtraction\"", "[]"(cons, "\"tasty list\"", "[]"(cons, "\"temp\"", "[]"(cons, "\"temp2\"", "[]"(cons, "\"temp3\"", "[]"(cons, "\"unified\"", "[]"(cons, "\"user says what is tasty\"", "[]"(cons, "\"usermul\"", "[]"(cons, "\"verify 1\"", "[]"(cons, "\"verify 2\"", "[]"(cons, "\"what is tasty\"", "[]"(cons, "\"x random test\"", "[]"(cons, "\"xor\"", "[]"(cons, "\"yes\"", "[]"(cons, "\"yes no\"", "[]"(cons, "\"yes-yeah\"", end)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) |
992 | Got clause: _277 = iter [cons _278 _279] |
993 | Clause unifies to: _8 = iter [cons "DadJoke001" [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
994 | gdash: _8 = iter [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
995 | Goal arity 4: _8 = iter [cons "DadJoke002" [cons "DadJoke003" [cons "HK" [cons "IndexOfSentence" [cons "Lasagna AI 1" [cons "OneToTen" [cons "PennyNickel" [cons "YisX" [cons "addition" [cons "and" [cons "and 3" [cons "and 4" [cons "asdf" [cons "bgrgndzmul" [cons "bit-bits" [cons "blue" [cons "brackets" [cons "bus" [cons "calc" [cons "car" [cons "computer/human" [cons "crap" [cons "cut test" [cons "dad" [cons "dang" [cons "division" [cons "double tasty test" [cons "eq" [cons "eq test" [cons "eq test 2" [cons "eval test squaring" [cons "find yes" [cons "first sentence" [cons "foot-feet" [cons "forall_impl" [cons "forceEval" [cons "good morning" [cons "greatest" [cons "guns" [cons "human/computer" [cons "ice cream" [cons "if-user-says" [cons "in list" [cons "inch-inches" [cons "is a theory" [cons "is a, has a" [cons "is a, has a (NL)" [cons "is in list" [cons "is-is-not" [cons "isLeaf" [cons "iter" [cons "lasagna" [cons "lenny" [cons "list comp" [cons "list fillers" [cons "lolol" [cons "mark" [cons "mrshutco" [cons "multiplication" [cons "next" [cons "not" [cons "not test 1" [cons "not test 2" [cons "not v1" [cons "number of theories" [cons "number of theories 2" [cons "onetwo" [cons "or" [cons "red" [cons "simpler syntax test" [cons "smartmul" [cons "subtraction" [cons "tasty list" [cons "temp" [cons "temp2" [cons "temp3" [cons "unified" [cons "user says what is tasty" [cons "usermul" [cons "verify 1" [cons "verify 2" [cons "what is tasty" [cons "x random test" [cons "xor" [cons "yes" [cons "yes no" [cons "yes-yeah" end]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]]] |
996 | Push $x (_280) |
997 | Resetting variable $x (_280) |
998 | Push _280 (_8) |
999 | Resetting variable _280 (_8) |
1000 | Push $x (_281) |
1001 | Push $collector (_282) |
1002 | Resetting variable $collector (_282) |
1003 | Resetting variable $x (_281) |
1004 | Push _281 (_8) |
1005 | Resetting variable _281 (_8) |
1006 | [Log overflow]``` |
1007 | [done] 602 ms |
Snippet is not live.
Travelled to 12 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #3000262 |
| Snippet name: | Answer for stefanreich (>> log theory "find yes") |
| Eternal ID of this version: | #3000262/1 |
| Text MD5: | a6ed7c0c93b271e3996d3ac7d456c9cf |
| 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 02:25:20 |
| Source code size: | 139667 bytes / 1007 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 547 / 90 |
| Referenced in: | [show references] |