On Jan 21, 11:41 pm, Alex Baranosky <alexander.barano...@gmail.com> wrote: > Hi, > > I've read a bit about clojure.core.unify > (http://blog.fogus.me/2010/12/14/unification-versus-pattern-matching-t... > ) > > I haven't gotten through PAIP yet, but I gather unification libraries enable > logic programming? Is it true that unification is a superset of pattern > matching? > > Mostly, I'd like to hear more about what something like clojure.core.unify > is good for.
I've used unification with dataflow variables and data structures holding unbound variables (though not in clojure) and found it really powerful! I'm not sure dataflow variables are available in clojure though, but would be happy to stand corrected (I heard about the contrib dataflow module, but from what I read it's more like cells updating based on upstream cells it depends on, whereas what I mean by dataflow variable is a variable that makes a thread wait until it gets bound if that thread uses that variable) Cheers raph > > Best, > Alex -- 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
