If you want to read more about ILP - as well as learning more Prolog - I can recommend Ivan Bratko’s excellent “Prolog Programming for Artificial Intelligence”, 4th editon (2011). It introduces Prolog and give a lot of AI examples in Prolog. Chapter 21 explains ILP quite good and shows two ILP programs (MiniHYPER and HYPER) with some examples such as learning predicates as member/2, odd/even, path/3, sort/2, and an arch problem.
The book also has chapters about other types of AI such as Planning, Constraint Logic Programming, and Machine Learning.