read


read or learn more

Unification versus Pattern Matching… to the death!

Dec 14, 2010 some comments

The number one question asked of me at The Conj1 was: what is unification?. Once I explained what unification was and how clojure.core.unify implemented it, the follow-up question was inevitably: how is unification different from pattern matching?. You see, Drew Colthorp wrote a fantastic pattern matching library called Matchure that creates bindings based on the […]

Unifycle phased out

Oct 18, 2010 one comment

A month ago I announced a unification library for Clojure named Unifycle. A month later I am phasing that library out in favor of this new unification library for Clojure. If you have adopted Unifycle or plan to, then please keep an eye on the other location. More information to come. …and here is that […]

Unifycle: A Unification Library for Clojure

Sep 27, 2010 some comments

As a first step toward a much grander Clojure project I needed a unification library to supplement a simple logic engine (the second step in the larger plan)…

Continue