Adding partial functions to Constraint Logic Programming with sets