6.3 Constraint Solving in Prolog
After that much of theory we come to our implementation of constraint solving in Prolog. First, we will see how our constraints are represented in Prolog. Then we will look at how they are brought into solved form. As we have said above, it is quite straightforward to convert solved forms into solutions and then into our good old
-expressions. We leave it as an exercise to you to work through that part of our implementation (Exercise 6.2).