If the sets are intended to only contain integers, then clpfd already contains set-related features such as in/2 which should be very helpful.
I’m continuing to ask for a mock-up of a useful predicate, because I think that would make development of the set predicates easier. Even if the set predicates are intended to be a generic library.