[scpubgit/DX.git] / fragment.output / member_at

$ #trace +step +search
$ ?
? eq ?X {{ a 1 b 2 c 3 }}
SetValue 0.X {{ a 1 b 2 c 3 }}
? member_at X ?Y ?Z
SetValue 0.Y 'a'
BindValue 0.Z 0.X.a
? ...
{{ X {{ a 1 b 2 c 3 }} Y 'a' Z 1 }}
{{ X {{ a 1 b 2 c 3 }} Y 'b' Z 2 }}
{{ X {{ a 1 b 2 c 3 }} Y 'c' Z 3 }}
No next solution
$ qlist
eq ?X {{ a 1 b 2 c 3 }}
member_at X ?Y ?Z
$ ?
? eq ?X {{ a 1 b 2 c 3 }}
SetValue 0.X {{ a 1 b 2 c 3 }}
? member_at X ?Y ?Z
SetValue 0.Y 'a'
BindValue 0.Z 0.X.a
? eq Z 2
? ...
{{ X {{ a 1 b 2 c 3 }} Y 'b' Z 2 }}
No next solution
$ qlist
eq ?X {{ a 1 b 2 c 3 }}
member_at X ?Y ?Z
eq Z 2
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'
5787d20d	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'
11fecad8	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