Ooo I love anything miniKanren related.<p>I did a close reading of the implementation in the original miniKanren paper; you can see my write-up and implementation here: <a href="https://codeberg.org/ashton314/microKanren" rel="nofollow">https://codeberg.org/ashton314/microKanren</a><p>miniKanren paper: <a href="http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf" rel="nofollow">http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf</a><p>Also relevant—a practical use-case for miniKanren: <a href="https://aphyr.com/posts/354-unifying-the-technical-interview" rel="nofollow">https://aphyr.com/posts/354-unifying-the-technical-interview</a>