CLP(Set) in miniKanren