[kawzeg]

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.