[X,Y] :- X = 3, Y= 4.