fragment.output/btdemo

   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 solution
  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 }
  41 solution
  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 }
  65 solution
  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 }
  90 solution
  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 } }
 343 solution
 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 } }
 440 solution
 441 ? ...
 442 resume
 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