Program synthesis.
Learning recursive programs is a major challenge [1]} and most systems cannot learn recursive programs.
We use a standard synthesis dataset [2]}Our constraint discovery approach requires Datalog BK, a common restriction [3]}, [4]}, [5]}.
However, the BK for the synthesis tasks is a definite program.
Therefore, to discover BK constraints, we use a Datalog subset of the BK restricted to an alphabet with 10 symbols (0-9), where the BK constraint discovery time is 4s.
We use the definite program BK for the learning task..
