In the event that the solver finds a solution, the result is translated back into a corresponding binding of constants to variables in the relational logic model.
Im Falle, dass der Solver eine Lösung findet, wird das Ergebnis zurück in die entsprechende Bindung von Konstanten zu Variablen im Relationalen Model transformiert.