Probabilistic inference of programs from input/output examples