"Constraint handling rules: current research topics" - читать интересную книгу автора (Tom Schrijvers, Thom Frühwirth)