Feedback and Bindings

What was covered so far was how the user populates the constraint store. The other direction of the information flow consists of the success and failure of the above predicates and the binding of variables to numerical values. Example:

     clp(r) ?- {A-B+C=10, C=5+5}.
     
     {A = B},
     C = 10.0
     
The linear constraints imply C=10.0 and the solver consequently exports this binding to the Prolog world. The fact that A=B is deduced and represented by the solver but not exported as a binding. More about answer presentation in Projection.