Text this: Meta-interpretive learning of higher-order dyadic datalog