Parallel microKanren