unification
Libraries adding unification operations to Common Lisp

  • cl-unification - Provides unification (as used in Prolog) over fairly arbitrary Common Lisp objects