Possibilities of visualizing the solution process of constraint logicbased systems by the example of SWI-Prolog's CLP | Kaicus Deutschland