Inductive logic programming (ILP) studies the learning of (Prolog) logic programs and other relational knowledge from examples. Most machine learning algorithms are restricted to finite, propositional ...

Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with disruptive applications for automating repetitive tasks in end-user programming. However, designing, developing, and ...