A probabilistic programming language embedded in MIT Scheme.