Stan is based on a probabilistic programming language for specifying models in terms of probability distributions.