Probabilistic miniKanren