Difflog: Learning Datalog Programs by Continuous Optimization
Example-directed synthesis: a type-theoretic interpretation