Constraint Logic Programming language embodying extensional finite Fuzzy Sets is presented. Basic fuzzy set operations (=, ∈, ≠, and ∉) are defined as constraints over fuzzy sets and their elements. Simple list-like representation of sets is presented, with fset/2 as the interpreted set constructor and {} as the empty set. Members of the fuzzy sets are fuzzy elements (terms with mu/2 as the main functor), with explicit membership value associated with each individual member. The language is implemented using the concept of attributed variables; brief discussion of the usability of attributed variables for this kind of meta-programming is also given.