A declarative logic programming system with first-class relationsembedded in a pure functional subset of Scheme. The system has trueunions, fair scheduling, lexically-scoped logical variables,set-theoretical semantics, high performance without cuts
Browse Files for A declarative logic programming system
| File/Folder Name | Platform | Size | Date ↓ | Downloads | Notes/Subscribe |
|---|---|---|---|---|---|
| Newest Files | |||||
| kanren-book-1.2.tar.gz | 14.1 KB | 2006-02-15 01:34:42 GMT | 854 | Release Notes | |
| All Files | Subscribe | ||||
| kanren-book | 14.1 KB | 2006-02-15 01:34:42 GMT | Subscribe Folder view | ||
| kanren-book-1.2 | 14.1 KB | 2006-02-15 01:34:42 GMT | Subscribe Folder view | ||
| kanren-book-1.2.tar.gz | 14.1 KB | 2006-02-15 01:34:42 GMT | 854 | Release Notes | |
| kanren | 134.6 KB | 2005-02-12 00:34:03 GMT | Subscribe Folder view | ||
| kanren-4.50 | 134.6 KB | 2005-02-12 00:34:03 GMT | Subscribe Folder view | ||
| kanren-4.50.tar.gz | 134.6 KB | 2005-02-12 00:34:03 GMT | 1,100 | Release Notes | |
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
