μKanren: Running the Little Things Backwards - Bodil Stokke