Thanks so much for the helpful reply! This is not the type of goal we like to write. >
Is this because it uses conda/condu (which aren't fully relational), or is the "extreme caution" for other reasons? Do you know of any advice or resources that can help me avoid this type of goal for problems that seem to require negation? I'm sad to say we've even formalized it in our core.logic support lib Is your support lib available anywhere? I couldn't find it on your Github. I'd love to see the relations an experienced user uses regularly and how they're implemented. -- 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.
