Input Program (in any supported rule-based fromalism)*:
* Write a program here or choose a sample program from the list. Comments must be single-lined, preceeded by % and ended with a dot. Syntax errors are not detected and will produce incorrect CHR programs.
Equivalent CHR program *:
* To run in the transformed program, copy it into Web-CHR.