A tutorial on Church - a probabilistic programming language.

Probabilistic Models of Cognition
probmods.org