There's some research on inductive logic programming and, program induction, Bayesian programming, etc. I guess it will take some time to become a bit more mat

There's some research on inductive logic programming and, program induction, Bayesian programming, etc. I guess it will take some time to become a bit more mature and get to the job market, maybe 5 years? Some groups to look at (not exhaustive): Tenenbaum (MIT), De Raedt (KU Leuven), Muggleton (Imperial).