"Constraint Handling Rules" - читать интересную книгу автора (Thom Frühwirth)