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 |
c147a201 |
130 | fail_recheck |
131 | } |
132 | backtrack |
133 | remaining resolution_space { |
c147a201 |
134 | proposition member_at Y ?YKey ?YValue |
135 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
136 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
137 | members { |
138 | resolution_strategy { |
139 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
140 | implementation_candidates { |
141 | { { 'e' } { 0.Y.e } } |
142 | { { 'f' } { 0.Y.f } } |
143 | } |
144 | } |
145 | } |
146 | } |
147 | resolve { |
148 | proposition member_at Y ?YKey ?YValue |
149 | actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e } |
150 | depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
151 | } |
152 | consider eq XValue 2 |
153 | resolution_space { |
154 | proposition eq XValue 2 |
155 | geometry_depends_on { CONTENTS_OF 0.XValue } |
156 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a } |
157 | members { |
158 | resolution { |
159 | actions { SetBoundValue 0.XValue 2 } |
160 | veracity_depends_on { CONTENTS_OF 0.XValue } |
161 | } |
162 | } |
163 | } |
164 | resolve { |
165 | proposition eq XValue 2 |
166 | actions { SetBoundValue 0.XValue 2 } |
167 | depends_on { CONTENTS_OF 0.XValue } |
168 | } |
169 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
170 | consider eq ?X {{ a 1 b 2 c 3 }} |
171 | resolution_space { |
172 | proposition eq ?X {{ a 1 b 2 c 3 }} |
173 | geometry_depends_on { CONTENTS_OF 0.X } |
174 | aperture { VALUE_SET 0.X } |
175 | members { |
176 | resolution { |
177 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
178 | veracity_depends_on { CONTENTS_OF 0.X } |
179 | } |
180 | } |
181 | } |
182 | resolve { |
183 | proposition eq ?X {{ a 1 b 2 c 3 }} |
184 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
185 | depends_on { CONTENTS_OF 0.X } |
186 | } |
187 | backtrack |
c147a201 |
188 | fail_recheck |
189 | } |
190 | backtrack |
191 | remaining resolution_space { |
c147a201 |
192 | proposition member_at Y ?YKey ?YValue |
193 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
194 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
195 | members { |
196 | resolution_strategy { |
197 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
198 | implementation_candidates { { { 'f' } { 0.Y.f } } } |
199 | } |
200 | } |
201 | } |
202 | resolve { |
203 | proposition member_at Y ?YKey ?YValue |
204 | actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f } |
205 | depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
206 | } |
207 | consider eq XValue 2 |
208 | 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 | resolution { |
214 | actions { SetBoundValue 0.XValue 2 } |
215 | veracity_depends_on { CONTENTS_OF 0.XValue } |
216 | } |
217 | } |
218 | } |
219 | resolve { |
220 | proposition eq XValue 2 |
221 | actions { SetBoundValue 0.XValue 2 } |
222 | depends_on { CONTENTS_OF 0.XValue } |
223 | } |
224 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
225 | consider eq ?X {{ a 1 b 2 c 3 }} |
226 | resolution_space { |
227 | proposition eq ?X {{ a 1 b 2 c 3 }} |
228 | geometry_depends_on { CONTENTS_OF 0.X } |
229 | aperture { VALUE_SET 0.X } |
230 | members { |
231 | resolution { |
232 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
233 | veracity_depends_on { CONTENTS_OF 0.X } |
234 | } |
235 | } |
236 | } |
237 | resolve { |
238 | proposition eq ?X {{ a 1 b 2 c 3 }} |
239 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
240 | depends_on { CONTENTS_OF 0.X } |
241 | } |
242 | backtrack |
c147a201 |
243 | fail_recheck |
244 | } |
245 | backtrack |
246 | remaining resolution_space { |
c147a201 |
247 | proposition member_at X ?XKey ?XValue |
248 | geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue } |
249 | aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue } |
250 | members { |
251 | resolution_strategy { |
252 | action_prototypes { set_value 0.XKey; set_value 0.XValue } |
253 | implementation_candidates { |
254 | { { 'b' } { 0.X.b } } |
255 | { { 'c' } { 0.X.c } } |
256 | } |
257 | } |
258 | } |
259 | } |
260 | resolve { |
261 | proposition member_at X ?XKey ?XValue |
262 | actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b } |
263 | depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue } |
264 | } |
265 | consider member_at Y ?YKey ?YValue |
266 | resolution_space { |
267 | proposition member_at Y ?YKey ?YValue |
268 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
269 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
270 | members { |
271 | resolution_strategy { |
272 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
273 | implementation_candidates { |
274 | { { 'd' } { 0.Y.d } } |
275 | { { 'e' } { 0.Y.e } } |
276 | { { 'f' } { 0.Y.f } } |
277 | } |
278 | } |
279 | } |
280 | } |
281 | resolve { |
282 | proposition member_at Y ?YKey ?YValue |
283 | actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d } |
284 | depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
285 | } |
286 | consider eq XValue 2 |
287 | resolution_space { |
288 | proposition eq XValue 2 |
289 | geometry_depends_on { CONTENTS_OF 0.XValue } |
290 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } |
291 | members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } } |
292 | } |
293 | resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } } |
ae6f4d03 |
294 | solution |
c147a201 |
295 | ? eq YValue 2 |
296 | consider eq YValue 2 |
297 | resolution_space { |
298 | proposition eq YValue 2 |
299 | geometry_depends_on { CONTENTS_OF 0.YValue } |
300 | aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d } |
301 | members { |
302 | resolution { |
303 | actions { SetBoundValue 0.YValue 2 } |
304 | veracity_depends_on { CONTENTS_OF 0.YValue } |
305 | } |
306 | } |
307 | } |
308 | resolve { |
309 | proposition eq YValue 2 |
310 | actions { SetBoundValue 0.YValue 2 } |
311 | depends_on { CONTENTS_OF 0.YValue } |
312 | } |
313 | recheck eq ?Y {{ d 1 e 2 f 3 }} { |
314 | consider eq ?Y {{ d 1 e 2 f 3 }} |
315 | resolution_space { |
316 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
317 | geometry_depends_on { CONTENTS_OF 0.Y } |
318 | aperture { VALUE_SET 0.Y } |
319 | members { |
320 | resolution { |
321 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
322 | veracity_depends_on { CONTENTS_OF 0.Y } |
323 | } |
324 | } |
325 | } |
326 | resolve { |
327 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
328 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
329 | depends_on { CONTENTS_OF 0.Y } |
330 | } |
331 | backtrack |
c147a201 |
332 | fail_recheck |
333 | } |
334 | backtrack |
335 | remaining resolution_space { |
c147a201 |
336 | proposition member_at Y ?YKey ?YValue |
337 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
338 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
339 | members { |
340 | resolution_strategy { |
341 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
342 | implementation_candidates { |
343 | { { 'e' } { 0.Y.e } } |
344 | { { 'f' } { 0.Y.f } } |
345 | } |
346 | } |
347 | } |
348 | } |
349 | resolve { |
350 | proposition member_at Y ?YKey ?YValue |
351 | actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e } |
352 | depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
353 | } |
354 | consider eq XValue 2 |
355 | resolution_space { |
356 | proposition eq XValue 2 |
357 | geometry_depends_on { CONTENTS_OF 0.XValue } |
358 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } |
359 | members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } } |
360 | } |
361 | resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } } |
362 | consider eq YValue 2 |
363 | resolution_space { |
364 | proposition eq YValue 2 |
365 | geometry_depends_on { CONTENTS_OF 0.YValue } |
366 | aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e } |
367 | members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } } |
368 | } |
369 | resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } } |
ae6f4d03 |
370 | solution |
c147a201 |
371 | ? ... |
ae6f4d03 |
372 | resume |
c147a201 |
373 | remaining resolution_space { |
374 | proposition member_at Y ?YKey ?YValue |
375 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
376 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
377 | members { |
378 | resolution_strategy { |
379 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
380 | implementation_candidates { { { 'f' } { 0.Y.f } } } |
381 | } |
382 | } |
383 | } |
384 | resolve { |
385 | proposition member_at Y ?YKey ?YValue |
386 | actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f } |
387 | depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
388 | } |
389 | consider eq XValue 2 |
390 | resolution_space { |
391 | proposition eq XValue 2 |
392 | geometry_depends_on { CONTENTS_OF 0.XValue } |
393 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } |
394 | members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } } |
395 | } |
396 | resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } } |
397 | consider eq YValue 2 |
398 | resolution_space { |
399 | proposition eq YValue 2 |
400 | geometry_depends_on { CONTENTS_OF 0.YValue } |
401 | aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f } |
402 | members { |
403 | resolution { |
404 | actions { SetBoundValue 0.YValue 2 } |
405 | veracity_depends_on { CONTENTS_OF 0.YValue } |
406 | } |
407 | } |
408 | } |
409 | resolve { |
410 | proposition eq YValue 2 |
411 | actions { SetBoundValue 0.YValue 2 } |
412 | depends_on { CONTENTS_OF 0.YValue } |
413 | } |
414 | recheck eq ?Y {{ d 1 e 2 f 3 }} { |
415 | consider eq ?Y {{ d 1 e 2 f 3 }} |
416 | resolution_space { |
417 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
418 | geometry_depends_on { CONTENTS_OF 0.Y } |
419 | aperture { VALUE_SET 0.Y } |
420 | members { |
421 | resolution { |
422 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
423 | veracity_depends_on { CONTENTS_OF 0.Y } |
424 | } |
425 | } |
426 | } |
427 | resolve { |
428 | proposition eq ?Y {{ d 1 e 2 f 3 }} |
429 | actions { SetValue 0.Y {{ d 1 e 2 f 3 }} } |
430 | depends_on { CONTENTS_OF 0.Y } |
431 | } |
432 | backtrack |
c147a201 |
433 | fail_recheck |
434 | } |
435 | backtrack |
436 | remaining resolution_space { |
c147a201 |
437 | proposition member_at X ?XKey ?XValue |
438 | geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue } |
439 | aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue } |
440 | members { |
441 | resolution_strategy { |
442 | action_prototypes { set_value 0.XKey; set_value 0.XValue } |
443 | implementation_candidates { { { 'c' } { 0.X.c } } } |
444 | } |
445 | } |
446 | } |
447 | resolve { |
448 | proposition member_at X ?XKey ?XValue |
449 | actions { SetValue 0.XKey 'c'; BindValue 0.XValue 0.X.c } |
450 | depends_on { CONTENTS_OF 0.X.c; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue } |
451 | } |
452 | consider member_at Y ?YKey ?YValue |
453 | resolution_space { |
454 | proposition member_at Y ?YKey ?YValue |
455 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
456 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
457 | members { |
458 | resolution_strategy { |
459 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
460 | implementation_candidates { |
461 | { { 'd' } { 0.Y.d } } |
462 | { { 'e' } { 0.Y.e } } |
463 | { { 'f' } { 0.Y.f } } |
464 | } |
465 | } |
466 | } |
467 | } |
468 | resolve { |
469 | proposition member_at Y ?YKey ?YValue |
470 | actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d } |
471 | depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
472 | } |
473 | consider eq XValue 2 |
474 | resolution_space { |
475 | proposition eq XValue 2 |
476 | geometry_depends_on { CONTENTS_OF 0.XValue } |
477 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c } |
478 | members { |
479 | resolution { |
480 | actions { SetBoundValue 0.XValue 2 } |
481 | veracity_depends_on { CONTENTS_OF 0.XValue } |
482 | } |
483 | } |
484 | } |
485 | resolve { |
486 | proposition eq XValue 2 |
487 | actions { SetBoundValue 0.XValue 2 } |
488 | depends_on { CONTENTS_OF 0.XValue } |
489 | } |
490 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
491 | consider eq ?X {{ a 1 b 2 c 3 }} |
492 | resolution_space { |
493 | proposition eq ?X {{ a 1 b 2 c 3 }} |
494 | geometry_depends_on { CONTENTS_OF 0.X } |
495 | aperture { VALUE_SET 0.X } |
496 | members { |
497 | resolution { |
498 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
499 | veracity_depends_on { CONTENTS_OF 0.X } |
500 | } |
501 | } |
502 | } |
503 | resolve { |
504 | proposition eq ?X {{ a 1 b 2 c 3 }} |
505 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
506 | depends_on { CONTENTS_OF 0.X } |
507 | } |
508 | backtrack |
c147a201 |
509 | fail_recheck |
510 | } |
511 | backtrack |
512 | remaining resolution_space { |
c147a201 |
513 | proposition member_at Y ?YKey ?YValue |
514 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
515 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
516 | members { |
517 | resolution_strategy { |
518 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
519 | implementation_candidates { |
520 | { { 'e' } { 0.Y.e } } |
521 | { { 'f' } { 0.Y.f } } |
522 | } |
523 | } |
524 | } |
525 | } |
526 | resolve { |
527 | proposition member_at Y ?YKey ?YValue |
528 | actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e } |
529 | depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
530 | } |
531 | consider eq XValue 2 |
532 | resolution_space { |
533 | proposition eq XValue 2 |
534 | geometry_depends_on { CONTENTS_OF 0.XValue } |
535 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c } |
536 | members { |
537 | resolution { |
538 | actions { SetBoundValue 0.XValue 2 } |
539 | veracity_depends_on { CONTENTS_OF 0.XValue } |
540 | } |
541 | } |
542 | } |
543 | resolve { |
544 | proposition eq XValue 2 |
545 | actions { SetBoundValue 0.XValue 2 } |
546 | depends_on { CONTENTS_OF 0.XValue } |
547 | } |
548 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
549 | consider eq ?X {{ a 1 b 2 c 3 }} |
550 | resolution_space { |
551 | proposition eq ?X {{ a 1 b 2 c 3 }} |
552 | geometry_depends_on { CONTENTS_OF 0.X } |
553 | aperture { VALUE_SET 0.X } |
554 | members { |
555 | resolution { |
556 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
557 | veracity_depends_on { CONTENTS_OF 0.X } |
558 | } |
559 | } |
560 | } |
561 | resolve { |
562 | proposition eq ?X {{ a 1 b 2 c 3 }} |
563 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
564 | depends_on { CONTENTS_OF 0.X } |
565 | } |
566 | backtrack |
c147a201 |
567 | fail_recheck |
568 | } |
569 | backtrack |
570 | remaining resolution_space { |
c147a201 |
571 | proposition member_at Y ?YKey ?YValue |
572 | geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue } |
573 | aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue } |
574 | members { |
575 | resolution_strategy { |
576 | action_prototypes { set_value 0.YKey; set_value 0.YValue } |
577 | implementation_candidates { { { 'f' } { 0.Y.f } } } |
578 | } |
579 | } |
580 | } |
581 | resolve { |
582 | proposition member_at Y ?YKey ?YValue |
583 | actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f } |
584 | depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue } |
585 | } |
586 | consider eq XValue 2 |
587 | resolution_space { |
588 | proposition eq XValue 2 |
589 | geometry_depends_on { CONTENTS_OF 0.XValue } |
590 | aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c } |
591 | members { |
592 | resolution { |
593 | actions { SetBoundValue 0.XValue 2 } |
594 | veracity_depends_on { CONTENTS_OF 0.XValue } |
595 | } |
596 | } |
597 | } |
598 | resolve { |
599 | proposition eq XValue 2 |
600 | actions { SetBoundValue 0.XValue 2 } |
601 | depends_on { CONTENTS_OF 0.XValue } |
602 | } |
603 | recheck eq ?X {{ a 1 b 2 c 3 }} { |
604 | consider eq ?X {{ a 1 b 2 c 3 }} |
605 | resolution_space { |
606 | proposition eq ?X {{ a 1 b 2 c 3 }} |
607 | geometry_depends_on { CONTENTS_OF 0.X } |
608 | aperture { VALUE_SET 0.X } |
609 | members { |
610 | resolution { |
611 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
612 | veracity_depends_on { CONTENTS_OF 0.X } |
613 | } |
614 | } |
615 | } |
616 | resolve { |
617 | proposition eq ?X {{ a 1 b 2 c 3 }} |
618 | actions { SetValue 0.X {{ a 1 b 2 c 3 }} } |
619 | depends_on { CONTENTS_OF 0.X } |
620 | } |
621 | backtrack |
c147a201 |
622 | fail_recheck |
623 | } |
624 | backtrack |
c147a201 |
625 | {{ |
626 | X {{ a 1 b 2 c 3 }} |
627 | XKey 'b' |
628 | XValue 2 |
629 | Y {{ d 1 e 2 f 3 }} |
630 | YKey 'e' |
631 | YValue 2 |
632 | }} |
633 | No next solution |