Did you know ... Search Documentation:
Embedding CHR in Prolog Programs