[eclipse-clp-users] Data-driven tracing of labeling and propagation

Hello,

The following may be of interest to those who want to better follow
the progress of search while solving constraint problems.

I have uploaded an example
http://eclipseclp.org/examples/sudoku_traced.ecl.txt
that illustrates how suspended goals can be used to create a user-
defined trace of the search process. The advantage of the technique
is that it does not require any modification of the search procedure
itself, meaning that it works with the built-in black-box labeling/1
or search/6 predicates, as well as with your purpose-written ones.

It is a relatively simple technique that should nicely complement
the features of the Visualization tools
http://eclipseclp.org/doc/visualisation/visualisation.html
and CP-Viz
http://eclipseclp.org/doc/bips/lib_public/cpviz/index.html

Cheers,
Joachim