Here are the steps to be taken from writing to using CHRs:
lib(chr). It contains both the compiler and runtime system for CHRs. Now ECLiPSe is in coroutining mode.
chrfile into a
plfile with the query
].). The CHR library is automatically loaded to provide the necessary runtime environment. ECLiPSe is in coroutining mode.
You can compile your
chr file and load the resulting
at once using the query