A key feature of inductive logic programming is its ability to learn first-order programs, which are intrinsically more expressive than propositional progr