next up previous index
Next: Debugger Support Up: The Finite Domains Library Previous: Domain Output   Index

Debugging Constraint Programs

The ECLiPSe debugger is a low-level debugger which is suitable only to debug small constraint programs or to debug small parts of larger programs. Typically, one would use this debugger to debug user-defined constraints and Prolog data processing. When they are known to work properly, this debugger may not be helpful enough to find bugs (correctness debugging) or to speed up a working program (performance debugging). For this, Grace (Graphical Constraint Environment) [] is the appropriate tool. Refer to the separate Grace documentation for instructions how to use it.




1999-08-06