* Write a forward program here or choose a sample program from the list. CHR constraints must be declared using functor/arity pairs. Comments must be single-lined, preceeded by % and ended with a dot. Syntax errors are not detected and will produce incorrect inverse programs.
Generated inverse program**:
** To run the inverse program, copy it into Web-CHR.