Directory | Tags | Index | LinkIt | Submit   | Help
    Monday, 24 September 2018 - anonymous
Login/Register to vote and to have access to more features

You are here: Root > By Topic > Language Extensions

View the dependency graph for this library

Created by marcoxa on: Fri, 13 Jan 2006 16:37:17 GMT, Last modification: Fri, 13 Jan 2006 16:37:17 GMT

The library provides a full blown unification framework for Common Lisp.
Web site
Version -
OS compatibilityAll.
ASDF installableYes
Official Download
Mirrored Download
Source code repository

The notion of unification originated in the field of formal logic and has been used extensively in Computer Science and Programming Languages. Most notably, Prolog uses the full power of unification.

Unification is also at the core of type checking algorithms in the tradition of Milner's, and a limited form - pattern matching - is available to the user in languages of the ML and Haskell family.

The library presented in these pages provides a full blown unification framework for Common Lisp.

Writing a pattern matcher or a an unifier in Common Lisp is easy, as long as we limit ourselves to manipulate only ATOMs and CONSes.

Alas, it would be much nicer if we could manipulate arbitrary Common Lisp objects as the ML programmer can with arbitrary ML objects.

The library presented here is the first one (to the best of the author's knowledge) that is capable of manipulating arbitrary Common Lisp objects.

Required by these libraries


Authors and Maintainers

Marco Antoniotti


Language Extensions | Libraries

0 Notes and 0 comments

0 Notes

You must be logged to add a note


You must be logged to add a comment