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.
Constraint logic programming with sets in Prolog
-
28-06-2022 - |
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.
Solution
Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow