The Constraint Logic Programming Language CHIP