a declarative logic programming system to run in windows online over linux online

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

Quick description about a declarative logic programming system to run in windows online over linux online:

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.

.