minikanren folks were already experimenting with program synthesis given a test suite that needs to be fully satisfied.