fragment.output/member_at

   1 $ ?
   2 ? eq ?X {{ a 1 b 2 c 3 }}
   3 SetValue 0.X {{ a 1 b 2 c 3 }}
   4 ? member_at X ?Y ?Z
   5 SetValue 0.Y 'a'
   6 BindValue 0.Z 0.X.a
   7 ? ...
   8 {{ X {{ a 1 b 2 c 3 }} Y 'a' Z 1 }}
   9 {{ X {{ a 1 b 2 c 3 }} Y 'b' Z 2 }}
  10 {{ X {{ a 1 b 2 c 3 }} Y 'c' Z 3 }}
  11 No next solution
  12 $ qlist
  13 eq ?X {{ a 1 b 2 c 3 }}
  14 member_at X ?Y ?Z
  15 $ ?
  16 ? eq ?X {{ a 1 b 2 c 3 }}
  17 SetValue 0.X {{ a 1 b 2 c 3 }}
  18 ? member_at X ?Y ?Z
  19 SetValue 0.Y 'a'
  20 BindValue 0.Z 0.X.a
  21 ? eq Z 2
  22 ? ...
  23 {{ X {{ a 1 b 2 c 3 }} Y 'b' Z 2 }}
  24 No next solution
  25 $ qlist
  26 eq ?X {{ a 1 b 2 c 3 }}
  27 member_at X ?Y ?Z
  28 eq Z 2