μKanren is a
a minimalist language in the miniKanren family of relational (logic) programming languages.
Below there are some links related to this implementation of μKanren.