A.10.1 Solver predicates
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(clpqr/dump)).
Sourcedump(+Target, +Newvars, -CodedAnswer)
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.