Probabilistic programming language