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 | 916 | Release Notes | |
| All Files | Subscribe | ||||
| kanren-book | 14.1 KB | 2006-02-15 | 916 | Subscribe Folder view | |
| kanren-book-1.2 | 14.1 KB | 2006-02-15 | 916 | Subscribe Folder view | |
| kanren-book-1.2.tar.gz | 14.1 KB | 2006-02-15 | 916 | Release Notes | |
| kanren | 134.6 KB | 2005-02-12 | 1,122 | Subscribe Folder view | |
| kanren-4.50 | 134.6 KB | 2005-02-12 | 1,122 | Subscribe Folder view | |
| kanren-4.50.tar.gz | 134.6 KB | 2005-02-12 | 1,122 | Release Notes | |
About SourceForge
Develop Software
Community
Copyright © 2010 Geeknet, Inc. All rights reserved. Terms of Use
