R2: an efficient MCMC sampler for probabilistic programs
Church: a language for generative models