Directory | Tags | Index | LinkIt | Submit   | Help
    Tuesday, 02 September 2014 - 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

CL-UNIFICATION
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.

eMailmarcoxa@cs.nyu.edu
Web sitehttp://common-lisp.net/project/cl-unification/
Mailing listcl-unification-devel@common-lisp.net
Version -
MaturityBeta
OS compatibilityAll.
ASDF installableYes
Official Downloadhttp://common-lisp.net/cgi-bin/viewcvs.cgi/cl-unification/?cvsroot=cl-unification
Mirrored Download
Source code repositoryhttp://common-lisp.net/cgi-bin/viewcvs.cgi/cl-unification/?cvsroot=cl-unification

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

cl-mediawiki

Authors and Maintainers

Marco Antoniotti

Tags

Language Extensions | Libraries

0 Notes and 0 comments

0 Notes

You must be logged to add a note


0 Comments

You must be logged to add a comment