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.

@cwebber Just once I'd like to read one of your toots and not have to do a Google Search, find several papers, a video, a book, and another lifetime to better understand it.

😁