Fair enough, I definitely could have titled it better - it's supposed to be "An introduction to how relational programming works specifically in microKanren presented as a code walkthrough of a python implementation of the interpreter" but that seemed a bit wordy...