Bayesian Robot Programming