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         failure_dependencies { CONTENTS_OF 0.X }
 131         exhaustion
 132     }
 133     fail_recheck
 134 }
 135 backtrack {
 136     failure_dependencies { CONTENTS_OF 0.X; CONTENTS_OF 0.XValue }
 137     decision {
 138         for member_at Y ?YKey ?YValue
 139         aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 140     }
 141     non_relevant
 142     decision {
 143         for member_at X ?XKey ?XValue
 144         aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
 145     }
 146     found_alternative
 147 }
 148 resolve {
 149     proposition member_at X ?XKey ?XValue
 150     actions { SetValue 0.XKey 'b'; BindValue 0.XValue 0.X.b }
 151     depends_on { CONTENTS_OF 0.X.b; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
 152 }
 153 consider member_at Y ?YKey ?YValue
 154 resolution_space {
 155     proposition member_at Y ?YKey ?YValue
 156     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
 157     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 158     members {
 159         resolution_strategy {
 160             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 161             implementation_candidates {
 162                 { { 'd' } { 0.Y.d } }
 163                 { { 'e' } { 0.Y.e } }
 164                 { { 'f' } { 0.Y.f } }
 165             }
 166         }
 167     }
 168 }
 169 resolve {
 170     proposition member_at Y ?YKey ?YValue
 171     actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
 172     depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 173 }
 174 consider eq XValue 2
 175 resolution_space {
 176     proposition eq XValue 2
 177     geometry_depends_on { CONTENTS_OF 0.XValue }
 178     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 179     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 180 }
 181 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 182 solution
 183 ? eq YValue 2
 184 consider eq YValue 2
 185 resolution_space {
 186     proposition eq YValue 2
 187     geometry_depends_on { CONTENTS_OF 0.YValue }
 188     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
 189     members {
 190         resolution {
 191             actions { SetBoundValue 0.YValue 2 }
 192             veracity_depends_on { CONTENTS_OF 0.YValue }
 193         }
 194     }
 195 }
 196 resolve {
 197     proposition eq YValue 2
 198     actions { SetBoundValue 0.YValue 2 }
 199     depends_on { CONTENTS_OF 0.YValue }
 200 }
 201 recheck eq ?Y {{ d 1 e 2 f 3 }} {
 202     consider eq ?Y {{ d 1 e 2 f 3 }}
 203     resolution_space {
 204         proposition eq ?Y {{ d 1 e 2 f 3 }}
 205         geometry_depends_on { CONTENTS_OF 0.Y }
 206         aperture { VALUE_SET 0.Y }
 207         members {
 208             resolution {
 209                 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 210                 veracity_depends_on { CONTENTS_OF 0.Y }
 211             }
 212         }
 213     }
 214     resolve {
 215         proposition eq ?Y {{ d 1 e 2 f 3 }}
 216         actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 217         depends_on { CONTENTS_OF 0.Y }
 218     }
 219     backtrack {
 220         failure_dependencies { CONTENTS_OF 0.Y }
 221         exhaustion
 222     }
 223     fail_recheck
 224 }
 225 backtrack {
 226     failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
 227     decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
 228     non_relevant
 229     decision {
 230         for member_at Y ?YKey ?YValue
 231         aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 232     }
 233     found_alternative
 234 }
 235 resolve {
 236     proposition member_at Y ?YKey ?YValue
 237     actions { SetValue 0.YKey 'e'; BindValue 0.YValue 0.Y.e }
 238     depends_on { CONTENTS_OF 0.Y.e; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 239 }
 240 consider eq XValue 2
 241 resolution_space {
 242     proposition eq XValue 2
 243     geometry_depends_on { CONTENTS_OF 0.XValue }
 244     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 245     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 246 }
 247 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 248 consider eq YValue 2
 249 resolution_space {
 250     proposition eq YValue 2
 251     geometry_depends_on { CONTENTS_OF 0.YValue }
 252     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
 253     members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
 254 }
 255 resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
 256 solution
 257 ? ...
 258 resume
 259 remaining resolution_space {
 260     proposition member_at Y ?YKey ?YValue
 261     geometry_depends_on {
 262         CONTENTS_OF 0.Y
 263         TYPE_OF 0.YKey
 264         CONTENTS_OF 0.YValue
 265     }
 266     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 267     members {
 268         resolution_strategy {
 269             action_prototypes { set_value 0.YKey; set_value 0.YValue }
 270             implementation_candidates { { { 'f' } { 0.Y.f } } }
 271         }
 272     }
 273 }
 274 resolve {
 275     proposition member_at Y ?YKey ?YValue
 276     actions { SetValue 0.YKey 'f'; BindValue 0.YValue 0.Y.f }
 277     depends_on { CONTENTS_OF 0.Y.f; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 278 }
 279 consider eq XValue 2
 280 resolution_space {
 281     proposition eq XValue 2
 282     geometry_depends_on { CONTENTS_OF 0.XValue }
 283     aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
 284     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 285 }
 286 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
 287 consider eq YValue 2
 288 resolution_space {
 289     proposition eq YValue 2
 290     geometry_depends_on { CONTENTS_OF 0.YValue }
 291     aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
 292     members {
 293         resolution {
 294             actions { SetBoundValue 0.YValue 2 }
 295             veracity_depends_on { CONTENTS_OF 0.YValue }
 296         }
 297     }
 298 }
 299 resolve {
 300     proposition eq YValue 2
 301     actions { SetBoundValue 0.YValue 2 }
 302     depends_on { CONTENTS_OF 0.YValue }
 303 }
 304 recheck eq ?Y {{ d 1 e 2 f 3 }} {
 305     consider eq ?Y {{ d 1 e 2 f 3 }}
 306     resolution_space {
 307         proposition eq ?Y {{ d 1 e 2 f 3 }}
 308         geometry_depends_on { CONTENTS_OF 0.Y }
 309         aperture { VALUE_SET 0.Y }
 310         members {
 311             resolution {
 312                 actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 313                 veracity_depends_on { CONTENTS_OF 0.Y }
 314             }
 315         }
 316     }
 317     resolve {
 318         proposition eq ?Y {{ d 1 e 2 f 3 }}
 319         actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
 320         depends_on { CONTENTS_OF 0.Y }
 321     }
 322     backtrack {
 323         failure_dependencies { CONTENTS_OF 0.Y }
 324         exhaustion
 325     }
 326     fail_recheck
 327 }
 328 backtrack {
 329     failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
 330     decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
 331     non_relevant
 332     decision {
 333         for member_at Y ?YKey ?YValue
 334         aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
 335     }
 336     failure_dependencies {
 337         CONTENTS_OF 0.Y
 338         TYPE_OF 0.YKey
 339         CONTENTS_OF 0.YValue
 340     }
 341     decision {
 342         for member_at X ?XKey ?XValue
 343         aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
 344     }
 345     non_relevant
 346     decision { for eq ?Y {{ d 1 e 2 f 3 }} aperture { VALUE_SET 0.Y } }
 347     failure_dependencies {
 348         CONTENTS_OF 0.Y
 349         TYPE_OF 0.YKey
 350         CONTENTS_OF 0.YValue
 351     }
 352     decision { for eq ?X {{ a 1 b 2 c 3 }} aperture { VALUE_SET 0.X } }
 353     non_relevant
 354     exhaustion
 355 }
 356 exhaustion
 357 {{
 358     X {{ a 1 b 2 c 3 }}
 359     XKey 'b'
 360     XValue 2
 361     Y {{ d 1 e 2 f 3 }}
 362     YKey 'e'
 363     YValue 2
 364 }}
 365 No next solution