IRIS Demo (Snapshot)

Enter a datalog program in the textarea below, choose an evaluation method and press "Submit Query" to test IRIS. For help on the IRIS datalog syntax, see here. Please note that we placed a 30 seconds timeout per query to avoid overloading our server.

Note: This Demo uses the daily nightly build. To return to stable version click here.

evaluation method: