add p-miniKanren