Diffusion models for probabilistic programming