a declarative logic programming system online with Winfy

We have hosted the application a declarative logic programming system in order to run this application in our online workstations with Wine or directly.

Quick description about 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.
Categories: