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


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