Bayesian Program Learning: Computers Make a Leap Forward