added explanation of miniKanren