cl-unification

2021-12-30

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

Upstream URL

gitlab.common-lisp.net/cl-unification/cl-unification

Author

Marco Antoniotti

License

BSD
README

cl-ppcre-template

A system used to conditionally load the CL-PPCRE Template. This system is not required and it is handled only if CL-PPCRE is available. If it is, then the library provides the REGULAR-EXPRESSION-TEMPLATE.

License:
BSD
Authors:
Marco Antoniotti
Dependencies:
  • cl-ppcre

  • cl-unification

cl-unification

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

License:
BSD
Authors:
Marco Antoniotti
Dependencies:

    None

cl-unification-lib

Authors:
Marco Antoniotti
Dependencies:
  • cl-ppcre

  • cl-unification

cl-unification-test

Dependencies:
  • cl-unification

  • ptester

Dependencies (2)

  • cl-ppcre
  • ptester

Dependents (2)

  • GitHub
  • Quicklisp