Title: Possibilities of Visualizing the Solution Process of Constraint Logicbased Systems by the Example of Swi-Prolog's Clp(fd) Library