

| |||||||
|
You are here: Root > By Topic > Language Extensions
cl-kanren-trs implements the language of The Reasoned Schemer with CLOS hooks to extend the types that can be the subject of unification. Each terminating form from main text is (or will be) implemented as part of the test suite.
| mswank@common-lisp.net | |
| Web site | http://common-lisp.net/project/cl-kanren-trs/ |
| Mailing list | http://common-lisp.net/cgi-bin/mailman/listinfo/cl-kanren-trs-devel |
| Version | 0 - |
| Maturity | Alpha |
| OS compatibility | |
| ASDF installable | No |
| Official Download | |
| Mirrored Download | |
| Source code repository | svn://common-lisp.net/project/cl-kanren-trs/svn |
Language Extensions | BSD license
You must be logged to add a note
You must be logged to add a comment