CL Unification

CL Unification is a Library for unification of arbitrary Lisp objects, written by Marco Antoniotti. The project webpage can be found at: http://common-lisp.net/project/cl-unification/.

This page is linked from: Marco Antoniotti

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