5 ms·

I still have no idea what core.unify does.

• jared314 13y ago
  It is a subset of core.logic's functionality. It allows you to use unification in your code without the full logic engine of core.logic.
  • tieTYT 13y ago
    This comment assumes I know what core.logic does.
    • jared314 13y ago
      True, but your comment gave no indication of context, your knowledge level of clojure, awareness of logic programming, or an actual question. So, I had no basis to give a response that answered the question you did not ask. I honestly thought you were just trolling.
• adambard 13y ago
  Give it two patterns with some unknowns and it tries to get values for the unknowns via pattern-matching. That's all it does! It's one of those things that humans do very well but computers have trouble with, so I'm afraid it doesn't look too impressive.
  • tieTYT 13y ago
    You mean like those problems that prolog is good at solving? Such as those describe here? http://dangoldin.com/2013/06/07/fun-with-prolog-priceonomics-puzzle/ http://dangoldin.com/2013/06/07/fun-with-prolog-priceonomics...
    • adambard 13y ago
      Cool, thanks!