Robert Zinkov, Michael Ballantyne, Gregory L. Rosenblatt and William E. Byrd: Accelerating Program Synthesis in miniKanren

While many logic programming systems like miniKanren are highly expressive, they suffer from long and unpredictable running times. The challenge comes from the search algorithm being usually an uninformed search. Through the domain of program synthesis we show that it possible to greatly speedup this search by guiding it using example programs.