Nominal logic programming extensions to miniKanren, based on alphaProlog. - View it on GitHub