Learning higher-order logic programs

Andrew Cropper, Rolf Morel, Stephen H. Muggleton

A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper,…