A declarative logic programming system

Welcome, Guest! Log In | Create Account

SourceForge.net > Find Software > A declarative logic programming system

beta

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

Download Now! kanren-book-1.2.tar.gz (14.1 KB) OR View all files

http://kanren.sourceforge.net

Release Date:

2006-02-15

Topics:

Software Development, Database, Mathematics

License:

MIT License

Operating System:

OS Independent (Written in an interpreted language)

Translations:

English

Intended Audience:

Developers, Science/Research

User Interface:

Web-based

Programming Language:

Scheme

Registered:

2004-01-15

Be the first to post a text review of A declarative logic programming system. Rate and review a project by clicking thumbs up or thumbs down in the right column.

Project Feed

Code committed

oleg committed patchset 410 of module kanren to the A declarative logic programming system CVS repository, changing 2 files

posted by oleg 125 days ago
Code committed

oleg committed patchset 409 of module kanren to the A declarative logic programming system CVS repository, changing 3 files

posted by oleg 125 days ago
Code committed

oleg committed patchset 408 of module kanren to the A declarative logic programming system CVS repository, changing 2 files

posted by oleg 175 days ago
Code committed

oleg committed patchset 407 of module kanren to the A declarative logic programming system CVS repository, changing 2 files

posted by oleg 175 days ago
Code committed

oleg committed patchset 406 of module kanren to the A declarative logic programming system CVS repository, changing 3 files

posted by oleg 245 days ago
Code committed

oleg committed patchset 405 of module kanren to the A declarative logic programming system CVS repository, changing 2 files

posted by oleg 1197 days ago
Code committed

oleg committed patchset 404 of module kanren to the A declarative logic programming system CVS repository, changing 2 files

posted by oleg 1216 days ago
Code committed

oleg committed patchset 403 of module kanren to the A declarative logic programming system CVS repository, changing 1 files

posted by oleg 1219 days ago
Code committed

oleg committed patchset 402 of module kanren to the A declarative logic programming system CVS repository, changing 1 files

posted by oleg 1219 days ago
Code committed

oleg committed patchset 401 of module kanren to the A declarative logic programming system CVS repository, changing 1 files

posted by oleg 1222 days ago

Rate and Review

Be the first person to add a text review.