Nominal logic programming extensions to miniKanren, based on alphaProlog.