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.
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.