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