Hm, would be cool if minikanren would return a stream of answers, then you could drop the first argument and take as many as you need?

(run (q) body) => <stream>

Then you can always stream-take to limit the number or filter the results, etc. No need for the first "how many" argument.

I guess minikanren uses streams under the hood anyway!