Directory | Tags | Index | LinkIt | Submit   | Help
    Monday, 28 July 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-kanren-trs
Created by akopa on: Sat, 21 Jun 2008 20:18:31 GMT, Last modification: Sat, 21 Jun 2008 20:18:31 GMT

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.

eMailmswank@common-lisp.net
Web sitehttp://common-lisp.net/project/cl-kanren-trs/
Mailing listhttp://common-lisp.net/cgi-bin/mailman/listinfo/cl-kanren-trs-devel
Version0 -
MaturityAlpha
OS compatibility
ASDF installableNo
Official Download
Mirrored Download
Source code repositorysvn://common-lisp.net/project/cl-kanren-trs/svn

Required Libraries  View graph

stefil

Authors and Maintainers

Matthew Swank

Tags

Language Extensions | BSD license

See Also

PAIPROLOG

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