This program carries out the Bayes calculations indicated in Example 4.16.
The source.