"Foundations of Inductive Logic Programming" - читать интересную книгу автора (Shan-Hwei Nienhuys-Cheng, Ronald de Wolf)