A new modeling methodology, new inference algorithms, new programming languages, and new hardware are all needed to create a complete Bayesian computing framework. Focusing on the methodology and algorithms, this book describes the first steps toward reaching that goal. It emphasizes probability as an alternative to Boolean logic, covering new methods to build probabilistic programs for real-world applications. The book encourages readers to explore emerging areas and develop new programming languages and hardware architectures. A Python package is available on a supplementary website.