Skip to content

A declarative logic programming system

This is the web app or web related tool named A declarative logic programming system whose latest release can be downloaded as kanren-book-1.2.tar.gz from this website redcoolmedia.net

Download APP

APP DESCRIPTION:

Download this app named A declarative logic programming system.

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

Audience

Developers, Science/Research

User interface

Web-based

Programming Language

Scheme

Free download Web app or web tool A declarative logic programming system from RedcoolMedia.net