Small probabilistic language with exact inference.
Small language for probabilistic programming language with exact inference.