Am Donnerstag, 9. März 2017 06:41:41 UTC+1 schrieb William Byrd: > > > Is this what you want? > > (define condeo > (lambda (ls x) > (fresh (a d) > (== `(,a . ,d) ls) > (conde > ((== a x)) > ((condeo d x)))))) > > > (run* (q) (condeo '(1 2 3) q)) > (1 2 3) > Thanks! Now I understand. I tired to build a list but instead condeo has to make just a claim about a single value per iteration.
-- 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 https://groups.google.com/group/minikanren. For more options, visit https://groups.google.com/d/optout.
