Possibilities of visualizing the solution process of constraint logicbased systems by the example of SWI-Prolog's CLP(FD) library

Bok av Fabian Stiehle