sbcl-cl-unification 0.0.0-1.01079f3 Unification framework for Common Lisp

This package provides a framework to unify arbitrary Common Lisp objects while constructing bindings for placeholders (unification variables) in a template sublanguage.