Snarky aside: you can also install a real Prolog (e.g. SWI Prolog) and run that in an Emacs session, and will be more performant and expressive than anything you would build on top of Emacs Lisp
To be fair I always thought MiniKanren was supposed to be more of a tutorial than a full fledged prolog. I once tried my hand at 'porting' it to Mathematica: it's been mostly an exercise in adapting the semantics rather than the syntax.