“Bayesian Program Learning” (BPL) Framework