An Algorithmic Proof of the Lovasz Local Lemma via Resampling Oracles