sentence1: constraint handling rules is a high-level rule based language , originally designed for the implementation of constraint solvers , but also increasingly used as a general purpose programming language .
sentence2: constraint handling rules is a concurrent , committed-choice language which was initially designed for writing constraint solvers and which is nowadays a general purpose language .