SourceForge.net

Create account Help
Search   Advanced
 

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

News archive »

Public Areas

Most Active Projects in Category

Project Details