Title: Projection in Constraint Logic Programming