elly to run in windows online over linux online

We have hosted the application elly 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 elly to run in windows online over linux online:

Elly is a reasoner for entailment and satisfiability checking of ELP knowledge-bases. It is written in java and relies on the IRIS Datalog reasoner (https: //sourceforge.net/projects/iris-reasoner) for its implementation.

Audience: Advanced End Users.
User interface: Command-line.
Programming Language: Java.

.