debug_event(+State, +Event)[multifile]

Hook into the CHR debugger. At this moment we will discard CHR events if we are in a Prolog `skip' and we ignore the

 debug_interact(+Event, +Depth, -Command)[multifile]

Hook into the CHR debugger to display Event and ask for the next command to execute. This definition causes the normal Prolog debugger to be used for the standard ports.

 debug_ask_continue(-Command) is semidet[multifile]

Hook to ask for a CHR debug continuation. Must bind Command to one of creep, skip, ancestors, nodebug, abort, fail, break, help or exit.

Re-exported predicates

The following predicates are re-exported from other modules

 find_chr_constraint(-Constraint) is nondet

True when Constraint is a currently known constraint in any known CHR module.

deprecated

- current_chr_constraint/1 handles modules.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 chr_notrace

 chr_leash(Arg1)

 chr_show_store(Arg1)

 chr_trace