[X] The "/2.x86-linux/links-2.1.p9._1.x86-linux.tar.gz" file could not be found or is not available. Please select another file.

Share

More
A declarative logic programming system Icon

A declarative logic programming system

beta

by oleg


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