Constraint Programming -- The B-Prolog Project