Pure miniKanren with fair conjunction by iterative distribution and reduction