I'm using the core.logic implementation of minikanren. I have a goal, element, that produces three values on output: (l/run* [q] (element q)) => (1 2 3)
I'd like to write a goal that builds a list of all of the values generated by element: (l/run 1 [q] (build q)) => ((1 2 3)) The best I can come up with is https://gist.github.com/markaddleman/f2e9394f15bf704ca043 but it's obviously wrong. I'm thinking that I should use condu instead of conde for the build goal but I can't seem to wrap my head around how committed-choice works. Any insights? Thanks in advance -- You received this message because you are subscribed to the Google Groups "minikanren" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
