SWI-Prolog -- dump/3

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(clpqr): Constraint Logic Programming over Rationals and Reals
      - Solver predicates
        
        {}/1
        
        entailed/1
        
        inf/2
        
        sup/2
        
        minimize/1
        
        maximize/1
        
        bb_inf/5
        
        bb_inf/4
        
        bb_inf/3
        
        dump/3
- Packages

Availability::- use_module(library(clpqr/dump)).

dump(+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.