fragment.output/member_at

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