9.4.2 Tracing CHR programs

Tracing is enabled with the chr_trace/0 predicate and disabled with the chr_notrace/0 predicate.

When enabled the tracer will step through the call, exit, fail, wake and apply ports, accepting debug commands, and simply write out the other ports.

The following debug commands are currently supported:

        CHR debug options:

                <cr>    creep           c       creep
                s       skip
                g       ancestors
                n       nodebug
                b       break
                a       abort
                f       fail
                ?       help            h       help

Their meaning is:

creep

Step to the next port.

skip

Skip to exit port of this call or wake port.

ancestors

Print list of ancestor call and wake ports.

nodebug

Disable the tracer.

break

Enter a recursive Prolog top level. See break/0.

abort

Exit to the top level. See abort/0.

fail

Insert failure in execution.

help

Print the above available debug options.