Constraint Logic Programming Project