[1] Constraint Handling In Prolog

[2] Chip - engl. Scheibchen, plural auch: Abfall :-).