cl-unification

BSD

The CL-UNIFICATION system. The system contains the definitions for the 'unification' machinery.

$ area51 add cl-unificationCopy

Usage

;; area51 add updates your .asd automatically.
;; Use the package in your code:
(in-package :my-project)
(cl-unification:some-function ...)

Dependencies

cl-ppcreptester

Used by

esrap-pegjingoh