I remember minikanren being able to generate expressions that evaluate to a value. In general, I guess the search space of all algorithms that might or might n

I remember minikanren being able to generate expressions that evaluate to a value. In general, I guess the search space of all algorithms that might or might not solve a problem is simply extremely huge, so you'd need some good heuristics to find an interesting algorithm. I can't think of any reason why there would be a theoretical limit on this, but I'm no expert in this.