Constraint Handling Rules (CHR): A programming language </>