Constraint Handling Rules - Compilation, Execution, and Analysis