cl-unification
CL-Unification is a full blown unification library, supporting unification over any Common Lisp objects (and not just lists and atoms).

Homepage: http://common-lisp.net/project/cl-unification/

License: BSD


This is such a perfect example of how not to write an article that it might be better left untouched, especially as long as unification link still leads to a single-entry list.


Pattern matching, algorithm, unification