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

Pattern matching algorithm

This page is linked from: Vladimir Sedach  

CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively