One of the main reasons for having > constraints like disequality is to avoid enumerating huge numbers of > answers (or possibly infinitely many answers), and then having to > check each answer. (Generate and test.) The proposed solution sounds > a lot like generate and test to me.
Yes, it's exactly that. Generate all solutions in master call and delay checking of constraints. I suppose it's the simplest solution. Since there is no support for disequality yet it's still better than nothing. > Of course, you can always try implementing it! :) > I plan to experiment with that when I have more time. -- 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.
