Probabilistic software

programming paradigm designed to describe probabilistic models and then perform inference in those models

probabilistic programming language for Bayesian inference