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