Constraint logic programming with sets in Prolog

Question

The clpfd is a constraint programming library for integers in SWI Prolog. Is there a similar library for sets? If not, do you know of any articles useful to implement such library?

Is it doable at all? I'm looking for any kind of input really, as my googlings have returned nothing of interest.

Edit: Using quotes when searching gives much better results (doh!). Well... happy to receive feedback anyway.

Edit: There is a library included B-Prolog (clpset) that does precisely this.

Answer 1

you can find CLP(Set) in SICTUS Prolog or B-Prolog. Since Picat inherits the virtual machine of of B-Prolog, I think you could as well experiment such constraints with an imperative, new language.