An Introduction to Probabilistic Programming
IBAL: A Probabilistic Rational Programming Language