Comment by avmich

For those knowledgeable enough in Scheme the original microKanren - and some immediate extensions towards miniKanren - should be rather clear. It's for users of other languages, with other popular mechanisms, that questions arise. More comments for them would be welcome.