Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited

Open in new window