Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited