A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
Download A declarative logic programming system
Project Admins:
oleg
Operating System:
OS Independent (Written in an interpreted language)
License:
MIT License
Category:
Database, Mathematics, Software Development
Find Support
Buy expert services from Sourceforge.net Marketplace. Support from the people who know.
Latest News
- Kanren first release 2005-02-11
Public Areas
-
Bugs
: (0 open / 0 total)
Bug Tracking System -
Support Requests
: (0 open / 0 total)
Tech Support Tracking System -
Patches
: (0 open / 0 total)
Patch Tracking System -
Feature Requests
: (0 open / 0 total)
Feature Request Tracking System - Public Forums : (2 messages in 2 forums)
- Mailing Lists : (0 total)
-
CVS Repository
: (0 commits,
78 reads)
Browse CVS
Most Active Projects in Category
Project Details
-
Project Admins :
oleg
- Developers : 5
- Development Status : 4 - Beta
- Intended Audience : Developers, Science/Research
- License : MIT License
- Operating System : OS Independent (Written in an interpreted language)
- Programming Language : Scheme
- Topic : Database, Mathematics, Software Development
- Translations : English
- User Interface : Web-based
- Project UNIX name : kanren
- Registered : 2004-01-15 13:45
- Activity Percentile (last week) : 82.85
- View project activity statistics
- View list of RSS feeds available for this project