miniKanren code for a Gentle Intro to miniKanren tutorial