Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. - Muggleton, Stephen; Lin, Dianhuan; Tamaddoni-Nezhad, Alireza (Machine Learning, 2015)