MiniKanrenMiniKanren conceptsMiniKanren goalsMiniKanren First CommandmentMiniKanren Second CommandmentMiniKanren functionsMiniKanren runMiniKanren freshMiniKanren condeMiniKanren caroMiniKanren cdroMiniKanren consoMiniKanren nulloMiniKanren eqoMiniKanren pairoMiniKanren listoMiniKanren loloMiniKanren twinsoMiniKanren lotoMiniKanren listofoMiniKanren memberoMiniKanren eq-caroMiniKanren pmemberoMiniKanren first-valueMiniKanren memberrevoMiniKanren reverse-listMiniKanren memoScheme functionscar gets head of listcdr gets tail of listrhs gets right of a pair: rhs (z . w) == wMiscDefining variablesImplicationCoreMiniKanren core substitutionMiniKanren core walkMiniKanren core unifyMiniKanren core ext-sMiniKanren core reify-sMiniKanren core reify-name2020-10-16