Inductive logic programming (ILP) studies the learning of (Prolog) logic programs and other relational knowledge from examples. Most machine learning algorithms are restricted to finite, propositional ...