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