CLP(B) -- Constraint Logic Programming over Boolean variables