An idea about programming with Bayesian search