dump([X,Y,Z],[x,y,z],Cons)

Cons will contain the constraints on X, Y and Z, where these variables have been replaced by atoms x, y and z.