Related;<p><a href="https://en.wikipedia.org/wiki/Inductive_logic_programming" rel="nofollow">https://en.wikipedia.org/wiki/Inductive_logic_programming</a><p>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.