I wonder if there is any "official" (i.e. stable and ideally documented) way to use logic variables and unification from core.logic without running the constraint solver. More specifically, I'd like to
- define some logic variables - do some unifications - enquire the resulting constraint list asking questions like - does variable X have a definite value? - are variables X and Y constrained to be equal? - add variables and/or unifications and continue... Of course all that machinery exists in core.logic and I think I identified most of it, but those interfaces don't look like they were meant to be used "from the outside". I certainly don't want to fix my code with every new release of core.logic. That's why I am looking for something more official. Konrad. -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en
