A Rewriting Logic Sampler