Returns the constraints on Target in the list CodedAnswer
where all variables of Target have been replaced by NewVars.
This operation does not change the constraint store. E.g. in
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.
Tags are associated to your profile if you are logged in