Login/Register to vote and to have access to more featuresYou are here: Root > By Topic > Language Extensions
View the dependency graph for this libraryCL-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.
| marcoxa@cs.nyu.edu | |
| Web site | http://common-lisp.net/project/cl-unification/ |
| Mailing list | cl-unification-devel@common-lisp.net |
| Version | - |
| Maturity | Beta |
| OS compatibility | All. |
| ASDF installable | Yes |
| Official Download | http://common-lisp.net/cgi-bin/viewcvs.cgi/cl-unification/?cvsroot=cl-unification |
| Mirrored Download | |
| Source code repository | http://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
Authors and Maintainers
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