This book is a graduate-level introduction to probabilistic programming. It
not only provides a thorough background for anyone wishing to use a
probabilistic programming system, but also introduces the ...