A prototype of CLP(Set) in miniKanren.
Implemented the rewrite rules as described in Sets and Constraint Logic Programming by Dovier et al. The prototype is feature-complete wrt to the paper.
I also double-check the CLP(Set) tests by running
them in {log},
a CLP(Set) implementation in Prolog.