Experiments using set constraints (CLP(Set)) to represent environments in relational interpreters, etc. - View it on GitHub