Commit | Line | Data |
c147a201 |
1 | $ trace * |
2 | $ ? |
3 | ? eq ?X {{ a 1 b 2 c 3 }} |
4 | consider eq ?X {{ a 1 b 2 c 3 }} |
5 | resolution_space { |
6 | proposition eq ?X {{ a 1 b 2 c 3 }} |
7 | geometry_depends_on { CONTENTS_OF 0.X } |
8 | aperture { VALUE_SET 0.X } |
9 | members { |
10 | resolution { |
11 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
12 | veracity_depends_on { CONTENTS_OF 0.X } |
13 | } |
14 | } |
15 | } |
16 | resolve { |
17 | proposition eq ?X {{ a 1 b 2 c 3 }} |
18 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
19 | depends_on { CONTENTS_OF 0.X } |
20 | } |
21 | SetValue 0.X {{ a 1 b 2 c 3 }} |
22 | ? eq ?Y {{ d 1 e 2 f 3 }} |
23 | consider eq ?Y {{ d 1 e 2 f 3 }} |
24 | resolution_space { |
25 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
26 | geometry_depends_on { CONTENTS_OF 0.Y } |
27 | aperture { VALUE_SET 0.Y } |
28 | members { |
29 | resolution { |
30 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
31 | veracity_depends_on { CONTENTS_OF 0.Y } |
32 | } |
33 | } |
34 | } |
35 | resolve { |
36 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
37 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
38 | depends_on { CONTENTS_OF 0.Y } |
39 | } |
40 | SetValue 0.Y {{ d 1 e 2 f 3 }} |
41 | ? member_at X ?XKey ?XValue |
42 | consider member_at X ?XKey ?XValue |
43 | resolution_space { |
44 | proposition member_at X ?XKey ?XValue |
45 | geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue } |
46 | aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue } |
47 | members { |
48 | resolution_strategy { |
49 | action_prototypes { set_value 0.XKey; set_value 0.XValue } |
50 | implementation_candidates { |
51 | { { 'a' } { 0.X.a } } |
52 | { { 'b' } { 0.X.b } } |
53 | { { 'c' } { 0.X.c } } |
54 | } |
55 | } |
56 | } |
57 | } |
58 | resolve { |
59 | proposition member_at X ?XKey ?XValue |
60 | actions { SetValue 0.XKey 'a'; BindValue 0.XValue 0.X.a } |
61 | depends_on { CONTENTS_OF 0.X.a; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue } |
62 | } |
63 | SetValue 0.XKey 'a' |
64 | BindValue 0.XValue 0.X.a |
65 | ? member_at Y ?YKey ?YValue |
66 | consider member_at Y ?YKey ?YValue |
67 | resolution_space { |
68 | proposition member_at Y ?YKey ?YValue |
69 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
70 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
71 | members { |
72 | resolution_strategy { |
73 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
74 | implementation_candidates { |
75 | { { 'd' } { 0.Y.d } } |
76 | { { 'e' } { 0.Y.e } } |
77 | { { 'f' } { 0.Y.f } } |
78 | } |
79 | } |
80 | } |
81 | } |
82 | resolve { |
83 | proposition member_at Y ?YKey ?YValue |
84 | actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d } |
85 | depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
86 | } |
87 | SetValue 0.YKey 'd' |
88 | BindValue 0.YValue 0.Y.d |
89 | ? eq XValue 2 |
90 | consider eq XValue 2 |
91 | resolution_space { |
92 | proposition eq XValue 2 |
93 | geometry_depends_on { CONTENTS_OF 0.XValue } |
94 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a } |
95 | members { |
96 | resolution { |
97 | actions { SetBoundValue 0.XValue 2 } |
98 | veracity_depends_on { CONTENTS_OF 0.XValue } |
99 | } |
100 | } |
101 | } |
102 | resolve { |
103 | proposition eq XValue 2 |
104 | actions { SetBoundValue 0.XValue 2 } |
105 | depends_on { CONTENTS_OF 0.XValue } |
106 | } |
107 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
108 | consider eq ?X {{ a 1 b 2 c 3 }} |
109 | resolution_space { |
110 | proposition eq ?X {{ a 1 b 2 c 3 }} |
111 | geometry_depends_on { CONTENTS_OF 0.X } |
112 | aperture { VALUE_SET 0.X } |
113 | members { |
114 | resolution { |
115 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
116 | veracity_depends_on { CONTENTS_OF 0.X } |
117 | } |
118 | } |
119 | } |
120 | resolve { |
121 | proposition eq ?X {{ a 1 b 2 c 3 }} |
122 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
123 | depends_on { CONTENTS_OF 0.X } |
124 | } |
125 | backtrack |
126 | remaining resolution_space { |
127 | proposition eq ?X {{ a 1 b 2 c 3 }} |
128 | geometry_depends_on { CONTENTS_OF 0.X } |
129 | aperture { VALUE_SET 0.X } |
130 | members { } |
131 | } |
132 | backtrack |
133 | fail_recheck |
134 | } |
135 | backtrack |
136 | remaining resolution_space { |
137 | proposition eq XValue 2 |
138 | geometry_depends_on { CONTENTS_OF 0.XValue } |
139 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a } |
140 | members { } |
141 | } |
142 | backtrack |
143 | remaining resolution_space { |
144 | proposition member_at Y ?YKey ?YValue |
145 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
146 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
147 | members { |
148 | resolution_strategy { |
149 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
150 | implementation_candidates { |
151 | { { 'e' } { 0.Y.e } } |
152 | { { 'f' } { 0.Y.f } } |
153 | } |
154 | } |
155 | } |
156 | } |
157 | resolve { |
158 | proposition member_at Y ?YKey ?YValue |
159 | actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e } |
160 | depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
161 | } |
162 | consider eq XValue 2 |
163 | resolution_space { |
164 | proposition eq XValue 2 |
165 | geometry_depends_on { CONTENTS_OF 0.XValue } |
166 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a } |
167 | members { |
168 | resolution { |
169 | actions { SetBoundValue 0.XValue 2 } |
170 | veracity_depends_on { CONTENTS_OF 0.XValue } |
171 | } |
172 | } |
173 | } |
174 | resolve { |
175 | proposition eq XValue 2 |
176 | actions { SetBoundValue 0.XValue 2 } |
177 | depends_on { CONTENTS_OF 0.XValue } |
178 | } |
179 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
180 | consider eq ?X {{ a 1 b 2 c 3 }} |
181 | resolution_space { |
182 | proposition eq ?X {{ a 1 b 2 c 3 }} |
183 | geometry_depends_on { CONTENTS_OF 0.X } |
184 | aperture { VALUE_SET 0.X } |
185 | members { |
186 | resolution { |
187 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
188 | veracity_depends_on { CONTENTS_OF 0.X } |
189 | } |
190 | } |
191 | } |
192 | resolve { |
193 | proposition eq ?X {{ a 1 b 2 c 3 }} |
194 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
195 | depends_on { CONTENTS_OF 0.X } |
196 | } |
197 | backtrack |
198 | remaining resolution_space { |
199 | proposition eq ?X {{ a 1 b 2 c 3 }} |
200 | geometry_depends_on { CONTENTS_OF 0.X } |
201 | aperture { VALUE_SET 0.X } |
202 | members { } |
203 | } |
204 | backtrack |
205 | fail_recheck |
206 | } |
207 | backtrack |
208 | remaining resolution_space { |
209 | proposition eq XValue 2 |
210 | geometry_depends_on { CONTENTS_OF 0.XValue } |
211 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a } |
212 | members { } |
213 | } |
214 | backtrack |
215 | remaining resolution_space { |
216 | proposition member_at Y ?YKey ?YValue |
217 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
218 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
219 | members { |
220 | resolution_strategy { |
221 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
222 | implementation_candidates { { { 'f' } { 0.Y.f } } } |
223 | } |
224 | } |
225 | } |
226 | resolve { |
227 | proposition member_at Y ?YKey ?YValue |
228 | actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f } |
229 | depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
230 | } |
231 | consider eq XValue 2 |
232 | resolution_space { |
233 | proposition eq XValue 2 |
234 | geometry_depends_on { CONTENTS_OF 0.XValue } |
235 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a } |
236 | members { |
237 | resolution { |
238 | actions { SetBoundValue 0.XValue 2 } |
239 | veracity_depends_on { CONTENTS_OF 0.XValue } |
240 | } |
241 | } |
242 | } |
243 | resolve { |
244 | proposition eq XValue 2 |
245 | actions { SetBoundValue 0.XValue 2 } |
246 | depends_on { CONTENTS_OF 0.XValue } |
247 | } |
248 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
249 | consider eq ?X {{ a 1 b 2 c 3 }} |
250 | resolution_space { |
251 | proposition eq ?X {{ a 1 b 2 c 3 }} |
252 | geometry_depends_on { CONTENTS_OF 0.X } |
253 | aperture { VALUE_SET 0.X } |
254 | members { |
255 | resolution { |
256 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
257 | veracity_depends_on { CONTENTS_OF 0.X } |
258 | } |
259 | } |
260 | } |
261 | resolve { |
262 | proposition eq ?X {{ a 1 b 2 c 3 }} |
263 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
264 | depends_on { CONTENTS_OF 0.X } |
265 | } |
266 | backtrack |
267 | remaining resolution_space { |
268 | proposition eq ?X {{ a 1 b 2 c 3 }} |
269 | geometry_depends_on { CONTENTS_OF 0.X } |
270 | aperture { VALUE_SET 0.X } |
271 | members { } |
272 | } |
273 | backtrack |
274 | fail_recheck |
275 | } |
276 | backtrack |
277 | remaining resolution_space { |
278 | proposition eq XValue 2 |
279 | geometry_depends_on { CONTENTS_OF 0.XValue } |
280 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a } |
281 | members { } |
282 | } |
283 | backtrack |
284 | remaining resolution_space { |
285 | proposition member_at Y ?YKey ?YValue |
286 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
287 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
288 | members { } |
289 | } |
290 | backtrack |
291 | remaining resolution_space { |
292 | proposition member_at X ?XKey ?XValue |
293 | geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue } |
294 | aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue } |
295 | members { |
296 | resolution_strategy { |
297 | action_prototypes { set_value 0.XKey; set_value 0.XValue } |
298 | implementation_candidates { |
299 | { { 'b' } { 0.X.b } } |
300 | { { 'c' } { 0.X.c } } |
301 | } |
302 | } |
303 | } |
304 | } |
305 | resolve { |
306 | proposition member_at X ?XKey ?XValue |
307 | actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b } |
308 | depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue } |
309 | } |
310 | consider member_at Y ?YKey ?YValue |
311 | resolution_space { |
312 | proposition member_at Y ?YKey ?YValue |
313 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
314 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
315 | members { |
316 | resolution_strategy { |
317 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
318 | implementation_candidates { |
319 | { { 'd' } { 0.Y.d } } |
320 | { { 'e' } { 0.Y.e } } |
321 | { { 'f' } { 0.Y.f } } |
322 | } |
323 | } |
324 | } |
325 | } |
326 | resolve { |
327 | proposition member_at Y ?YKey ?YValue |
328 | actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d } |
329 | depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
330 | } |
331 | consider eq XValue 2 |
332 | resolution_space { |
333 | proposition eq XValue 2 |
334 | geometry_depends_on { CONTENTS_OF 0.XValue } |
335 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } |
336 | members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } } |
337 | } |
338 | resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } } |
339 | ? eq YValue 2 |
340 | consider eq YValue 2 |
341 | resolution_space { |
342 | proposition eq YValue 2 |
343 | geometry_depends_on { CONTENTS_OF 0.YValue } |
344 | aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d } |
345 | members { |
346 | resolution { |
347 | actions { SetBoundValue 0.YValue 2 } |
348 | veracity_depends_on { CONTENTS_OF 0.YValue } |
349 | } |
350 | } |
351 | } |
352 | resolve { |
353 | proposition eq YValue 2 |
354 | actions { SetBoundValue 0.YValue 2 } |
355 | depends_on { CONTENTS_OF 0.YValue } |
356 | } |
357 | recheck eq ?Y {{ d 1 e 2 f 3 }} { |
358 | consider eq ?Y {{ d 1 e 2 f 3 }} |
359 | resolution_space { |
360 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
361 | geometry_depends_on { CONTENTS_OF 0.Y } |
362 | aperture { VALUE_SET 0.Y } |
363 | members { |
364 | resolution { |
365 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
366 | veracity_depends_on { CONTENTS_OF 0.Y } |
367 | } |
368 | } |
369 | } |
370 | resolve { |
371 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
372 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
373 | depends_on { CONTENTS_OF 0.Y } |
374 | } |
375 | backtrack |
376 | remaining resolution_space { |
377 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
378 | geometry_depends_on { CONTENTS_OF 0.Y } |
379 | aperture { VALUE_SET 0.Y } |
380 | members { } |
381 | } |
382 | backtrack |
383 | fail_recheck |
384 | } |
385 | backtrack |
386 | remaining resolution_space { |
387 | proposition eq YValue 2 |
388 | geometry_depends_on { CONTENTS_OF 0.YValue } |
389 | aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d } |
390 | members { } |
391 | } |
392 | backtrack |
393 | remaining resolution_space { |
394 | proposition eq XValue 2 |
395 | geometry_depends_on { CONTENTS_OF 0.XValue } |
396 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } |
397 | members { } |
398 | } |
399 | backtrack |
400 | remaining resolution_space { |
401 | proposition member_at Y ?YKey ?YValue |
402 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
403 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
404 | members { |
405 | resolution_strategy { |
406 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
407 | implementation_candidates { |
408 | { { 'e' } { 0.Y.e } } |
409 | { { 'f' } { 0.Y.f } } |
410 | } |
411 | } |
412 | } |
413 | } |
414 | resolve { |
415 | proposition member_at Y ?YKey ?YValue |
416 | actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e } |
417 | depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
418 | } |
419 | consider eq XValue 2 |
420 | resolution_space { |
421 | proposition eq XValue 2 |
422 | geometry_depends_on { CONTENTS_OF 0.XValue } |
423 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } |
424 | members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } } |
425 | } |
426 | resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } } |
427 | consider eq YValue 2 |
428 | resolution_space { |
429 | proposition eq YValue 2 |
430 | geometry_depends_on { CONTENTS_OF 0.YValue } |
431 | aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e } |
432 | members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } } |
433 | } |
434 | resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } } |
435 | ? ... |
436 | backtrack |
437 | remaining resolution_space { |
438 | proposition eq YValue 2 |
439 | geometry_depends_on { CONTENTS_OF 0.YValue } |
440 | aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e } |
441 | members { } |
442 | } |
443 | backtrack |
444 | remaining resolution_space { |
445 | proposition eq XValue 2 |
446 | geometry_depends_on { CONTENTS_OF 0.XValue } |
447 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } |
448 | members { } |
449 | } |
450 | backtrack |
451 | remaining resolution_space { |
452 | proposition member_at Y ?YKey ?YValue |
453 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
454 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
455 | members { |
456 | resolution_strategy { |
457 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
458 | implementation_candidates { { { 'f' } { 0.Y.f } } } |
459 | } |
460 | } |
461 | } |
462 | resolve { |
463 | proposition member_at Y ?YKey ?YValue |
464 | actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f } |
465 | depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
466 | } |
467 | consider eq XValue 2 |
468 | resolution_space { |
469 | proposition eq XValue 2 |
470 | geometry_depends_on { CONTENTS_OF 0.XValue } |
471 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } |
472 | members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } } |
473 | } |
474 | resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } } |
475 | consider eq YValue 2 |
476 | resolution_space { |
477 | proposition eq YValue 2 |
478 | geometry_depends_on { CONTENTS_OF 0.YValue } |
479 | aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f } |
480 | members { |
481 | resolution { |
482 | actions { SetBoundValue 0.YValue 2 } |
483 | veracity_depends_on { CONTENTS_OF 0.YValue } |
484 | } |
485 | } |
486 | } |
487 | resolve { |
488 | proposition eq YValue 2 |
489 | actions { SetBoundValue 0.YValue 2 } |
490 | depends_on { CONTENTS_OF 0.YValue } |
491 | } |
492 | recheck eq ?Y {{ d 1 e 2 f 3 }} { |
493 | consider eq ?Y {{ d 1 e 2 f 3 }} |
494 | resolution_space { |
495 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
496 | geometry_depends_on { CONTENTS_OF 0.Y } |
497 | aperture { VALUE_SET 0.Y } |
498 | members { |
499 | resolution { |
500 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
501 | veracity_depends_on { CONTENTS_OF 0.Y } |
502 | } |
503 | } |
504 | } |
505 | resolve { |
506 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
507 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
508 | depends_on { CONTENTS_OF 0.Y } |
509 | } |
510 | backtrack |
511 | remaining resolution_space { |
512 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
513 | geometry_depends_on { CONTENTS_OF 0.Y } |
514 | aperture { VALUE_SET 0.Y } |
515 | members { } |
516 | } |
517 | backtrack |
518 | fail_recheck |
519 | } |
520 | backtrack |
521 | remaining resolution_space { |
522 | proposition eq YValue 2 |
523 | geometry_depends_on { CONTENTS_OF 0.YValue } |
524 | aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f } |
525 | members { } |
526 | } |
527 | backtrack |
528 | remaining resolution_space { |
529 | proposition eq XValue 2 |
530 | geometry_depends_on { CONTENTS_OF 0.XValue } |
531 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } |
532 | members { } |
533 | } |
534 | backtrack |
535 | remaining resolution_space { |
536 | proposition member_at Y ?YKey ?YValue |
537 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
538 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
539 | members { } |
540 | } |
541 | backtrack |
542 | remaining resolution_space { |
543 | proposition member_at X ?XKey ?XValue |
544 | geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue } |
545 | aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue } |
546 | members { |
547 | resolution_strategy { |
548 | action_prototypes { set_value 0.XKey; set_value 0.XValue } |
549 | implementation_candidates { { { 'c' } { 0.X.c } } } |
550 | } |
551 | } |
552 | } |
553 | resolve { |
554 | proposition member_at X ?XKey ?XValue |
555 | actions { SetValue 0.XKey 'c'; BindValue 0.XValue 0.X.c } |
556 | depends_on { CONTENTS_OF 0.X.c; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue } |
557 | } |
558 | consider member_at Y ?YKey ?YValue |
559 | resolution_space { |
560 | proposition member_at Y ?YKey ?YValue |
561 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
562 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
563 | members { |
564 | resolution_strategy { |
565 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
566 | implementation_candidates { |
567 | { { 'd' } { 0.Y.d } } |
568 | { { 'e' } { 0.Y.e } } |
569 | { { 'f' } { 0.Y.f } } |
570 | } |
571 | } |
572 | } |
573 | } |
574 | resolve { |
575 | proposition member_at Y ?YKey ?YValue |
576 | actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d } |
577 | depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
578 | } |
579 | consider eq XValue 2 |
580 | resolution_space { |
581 | proposition eq XValue 2 |
582 | geometry_depends_on { CONTENTS_OF 0.XValue } |
583 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c } |
584 | members { |
585 | resolution { |
586 | actions { SetBoundValue 0.XValue 2 } |
587 | veracity_depends_on { CONTENTS_OF 0.XValue } |
588 | } |
589 | } |
590 | } |
591 | resolve { |
592 | proposition eq XValue 2 |
593 | actions { SetBoundValue 0.XValue 2 } |
594 | depends_on { CONTENTS_OF 0.XValue } |
595 | } |
596 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
597 | consider eq ?X {{ a 1 b 2 c 3 }} |
598 | resolution_space { |
599 | proposition eq ?X {{ a 1 b 2 c 3 }} |
600 | geometry_depends_on { CONTENTS_OF 0.X } |
601 | aperture { VALUE_SET 0.X } |
602 | members { |
603 | resolution { |
604 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
605 | veracity_depends_on { CONTENTS_OF 0.X } |
606 | } |
607 | } |
608 | } |
609 | resolve { |
610 | proposition eq ?X {{ a 1 b 2 c 3 }} |
611 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
612 | depends_on { CONTENTS_OF 0.X } |
613 | } |
614 | backtrack |
615 | remaining resolution_space { |
616 | proposition eq ?X {{ a 1 b 2 c 3 }} |
617 | geometry_depends_on { CONTENTS_OF 0.X } |
618 | aperture { VALUE_SET 0.X } |
619 | members { } |
620 | } |
621 | backtrack |
622 | fail_recheck |
623 | } |
624 | backtrack |
625 | remaining resolution_space { |
626 | proposition eq XValue 2 |
627 | geometry_depends_on { CONTENTS_OF 0.XValue } |
628 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c } |
629 | members { } |
630 | } |
631 | backtrack |
632 | remaining resolution_space { |
633 | proposition member_at Y ?YKey ?YValue |
634 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
635 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
636 | members { |
637 | resolution_strategy { |
638 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
639 | implementation_candidates { |
640 | { { 'e' } { 0.Y.e } } |
641 | { { 'f' } { 0.Y.f } } |
642 | } |
643 | } |
644 | } |
645 | } |
646 | resolve { |
647 | proposition member_at Y ?YKey ?YValue |
648 | actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e } |
649 | depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
650 | } |
651 | consider eq XValue 2 |
652 | resolution_space { |
653 | proposition eq XValue 2 |
654 | geometry_depends_on { CONTENTS_OF 0.XValue } |
655 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c } |
656 | members { |
657 | resolution { |
658 | actions { SetBoundValue 0.XValue 2 } |
659 | veracity_depends_on { CONTENTS_OF 0.XValue } |
660 | } |
661 | } |
662 | } |
663 | resolve { |
664 | proposition eq XValue 2 |
665 | actions { SetBoundValue 0.XValue 2 } |
666 | depends_on { CONTENTS_OF 0.XValue } |
667 | } |
668 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
669 | consider eq ?X {{ a 1 b 2 c 3 }} |
670 | resolution_space { |
671 | proposition eq ?X {{ a 1 b 2 c 3 }} |
672 | geometry_depends_on { CONTENTS_OF 0.X } |
673 | aperture { VALUE_SET 0.X } |
674 | members { |
675 | resolution { |
676 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
677 | veracity_depends_on { CONTENTS_OF 0.X } |
678 | } |
679 | } |
680 | } |
681 | resolve { |
682 | proposition eq ?X {{ a 1 b 2 c 3 }} |
683 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
684 | depends_on { CONTENTS_OF 0.X } |
685 | } |
686 | backtrack |
687 | remaining resolution_space { |
688 | proposition eq ?X {{ a 1 b 2 c 3 }} |
689 | geometry_depends_on { CONTENTS_OF 0.X } |
690 | aperture { VALUE_SET 0.X } |
691 | members { } |
692 | } |
693 | backtrack |
694 | fail_recheck |
695 | } |
696 | backtrack |
697 | remaining resolution_space { |
698 | proposition eq XValue 2 |
699 | geometry_depends_on { CONTENTS_OF 0.XValue } |
700 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c } |
701 | members { } |
702 | } |
703 | backtrack |
704 | remaining resolution_space { |
705 | proposition member_at Y ?YKey ?YValue |
706 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
707 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
708 | members { |
709 | resolution_strategy { |
710 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
711 | implementation_candidates { { { 'f' } { 0.Y.f } } } |
712 | } |
713 | } |
714 | } |
715 | resolve { |
716 | proposition member_at Y ?YKey ?YValue |
717 | actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f } |
718 | depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
719 | } |
720 | consider eq XValue 2 |
721 | resolution_space { |
722 | proposition eq XValue 2 |
723 | geometry_depends_on { CONTENTS_OF 0.XValue } |
724 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c } |
725 | members { |
726 | resolution { |
727 | actions { SetBoundValue 0.XValue 2 } |
728 | veracity_depends_on { CONTENTS_OF 0.XValue } |
729 | } |
730 | } |
731 | } |
732 | resolve { |
733 | proposition eq XValue 2 |
734 | actions { SetBoundValue 0.XValue 2 } |
735 | depends_on { CONTENTS_OF 0.XValue } |
736 | } |
737 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
738 | consider eq ?X {{ a 1 b 2 c 3 }} |
739 | resolution_space { |
740 | proposition eq ?X {{ a 1 b 2 c 3 }} |
741 | geometry_depends_on { CONTENTS_OF 0.X } |
742 | aperture { VALUE_SET 0.X } |
743 | members { |
744 | resolution { |
745 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
746 | veracity_depends_on { CONTENTS_OF 0.X } |
747 | } |
748 | } |
749 | } |
750 | resolve { |
751 | proposition eq ?X {{ a 1 b 2 c 3 }} |
752 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
753 | depends_on { CONTENTS_OF 0.X } |
754 | } |
755 | backtrack |
756 | remaining resolution_space { |
757 | proposition eq ?X {{ a 1 b 2 c 3 }} |
758 | geometry_depends_on { CONTENTS_OF 0.X } |
759 | aperture { VALUE_SET 0.X } |
760 | members { } |
761 | } |
762 | backtrack |
763 | fail_recheck |
764 | } |
765 | backtrack |
766 | remaining resolution_space { |
767 | proposition eq XValue 2 |
768 | geometry_depends_on { CONTENTS_OF 0.XValue } |
769 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c } |
770 | members { } |
771 | } |
772 | backtrack |
773 | remaining resolution_space { |
774 | proposition member_at Y ?YKey ?YValue |
775 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
776 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
777 | members { } |
778 | } |
779 | backtrack |
780 | remaining resolution_space { |
781 | proposition member_at X ?XKey ?XValue |
782 | geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue } |
783 | aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue } |
784 | members { } |
785 | } |
786 | backtrack |
787 | remaining resolution_space { |
788 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
789 | geometry_depends_on { CONTENTS_OF 0.Y } |
790 | aperture { VALUE_SET 0.Y } |
791 | members { } |
792 | } |
793 | backtrack |
794 | remaining resolution_space { |
795 | proposition eq ?X {{ a 1 b 2 c 3 }} |
796 | geometry_depends_on { CONTENTS_OF 0.X } |
797 | aperture { VALUE_SET 0.X } |
798 | members { } |
799 | } |
800 | backtrack |
801 | {{ |
802 | X {{ a 1 b 2 c 3 }} |
803 | XKey 'b' |
804 | XValue 2 |
805 | Y {{ d 1 e 2 f 3 }} |
806 | YKey 'e' |
807 | YValue 2 |
808 | }} |
809 | No next solution |