?- L @=[X : X in 1..5]. L = [1,2,3,4,5] ?- L @=[X : X in 5..-1..1]. L = [5,4,3,2,1] ?- L @= [F : F in 1.0..0.2..1.5] L = [1.0,1.2,1.4] ?- L @= [1 : X in 1..5]. L = [1,1,1,1,1] ?- L @= [Y : X in 1..5]. L = [Y,Y,Y,Y,Y] ?- L @= [Y : X in 1..5,[Y]]. % Y is local L = [_598,_5e8,_638,_688,_6d8] ?- L @= [Y : X in [1,2,3], [Y], Y is -X]. L = [-1,-2,-3] ?-L @=[(A,I): A in [a,b], I in 1..2]. L = [(a,1),(a,2),(b,1),(b,2)] ?-L @=[(A,I): (A,I) in ([a,b],1..2)]. L = [(a,1),(b,2)]