A while back I was trying to understand the guts of miniKanren. I Did a careful reading of the paper and wrote up my notes along with the code here: https://codeberg.org/ashton314/microKanren

Hope that helps someone. :) It’s a fantastic little gem of a program.

Don’t forget: https://aphyr.com/posts/354-unifying-the-technical-interview