R2: an efficient MCMC sampler for probabilistic programs
General-Purpose MCMC Inference over Relational Structures