Related;

https://en.wikipedia.org/wiki/Inductive_logic_programming

Popular field when I was in uni. IFP was popular-ish 10 years later. Not sure if anyone is still doing much now that computers are much faster, but I always liked it.