?-foreach(I in [1,2,3], ac1(R,[]), R^0=[I|R^1]). R = [1,2,3] ?-foreach(A in [a,b], ac1(L,Tail), L^0=[A|L^1]), Tail=[c,d]. L = [a,b,c,d] ?-foreach((A,I) in ([a,b],1..2), ac1(L,[]), L^0=[(A,I)|L^1]). L = [(a,1),(b,2)]