One of my all time favorite YouTube videos is a lecture by William Byrd. I find myself still coming back to this video, it was so fascinating to me as an undergrad. https://youtu.be/OyfBQmvr2Hc
He has some great tutorials on Youtube too.
I still haven't dived too much into miniKanren, but it's on the list with the Reasoned Schemer.