Found in 1 comment on Hacker News
mycl · 2017-12-05 · Original thread
The induction of logic programs in Prolog from examples was done by Ehud Shapiro's "Model Inference System" described in his PhD thesis, "Algorithmic Programming Debugging" (, in 1982.

This was one of the earliest inductive logic programming ( systems.

Fresh book recommendations delivered straight to your inbox every Thursday.