R2: an efficient MCMC sampler for probabilistic programs
problog : a probabilistic prolog and its application in link discovery .