Commit | Line | Data |
79457e68 |
1 | $ #trace +step +search |
11fecad8 |
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 |
5787d20d |
6 | SetValue 0.Y 'a' |
7 | BindValue 0.Z 0.X.a |
11fecad8 |
8 | ? ... |
5787d20d |
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 }} |
11fecad8 |
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 |
11fecad8 |
20 | SetValue 0.Y 'a' |
21 | BindValue 0.Z 0.X.a |
5787d20d |
22 | ? eq Z 2 |
11fecad8 |
23 | ? ... |
11fecad8 |
24 | {{ X {{ a 1 b 2 c 3 }} Y 'b' Z 2 }} |
11fecad8 |
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 |