Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints. - View it on GitHub
Star
167
Rank
193010