On Mon, Jan 9, 2012 at 11:00 AM, Cedric Greevey <cgree...@gmail.com> wrote: > On Mon, Jan 9, 2012 at 1:45 PM, Michael Fogus <mefo...@gmail.com> wrote: >> Google also helps too. :-) > Not really, not with a single fairly generic word like "unification".
#1 result: wikipedia, which has a disambiguation page with the second entry: "Unification (computer science), the act of identifying two terms with a suitable substitution" That page in turn says: "Unification, in computer science and logic, is an algorithmic process by which one attempts to solve the satisfiability problem. The goal of unification is to find a substitution which demonstrates that two seemingly different terms are in fact either identical or just equal. Unification is widely used in automated reasoning, logic programming and programming language type system implementation." I don't know whether that definition helps you? It's hard for me to know what "most" developers know about unification because I've worked in Prolog so I suspect I'm an edge case (and I'm excited about core.unify - I just haven't needed it in my production code yet). -- Sean A Corfield -- (904) 302-SEAN An Architect's View -- http://corfield.org/ World Singles, LLC. -- http://worldsingles.com/ "Perfection is the enemy of the good." -- Gustave Flaubert, French realist novelist (1821-1880) -- 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
