The DLV Wrapper Project
Download API docs Online Demo Papers FAQ contact

If you have a Java enabled browser click here.

If your browser does not support Java click here.

The on'line demo works as follows:

Fill a form with a disjunctive logic program and click teh "RUN" button.

A JSP page calls DLV by using the DLV Wrapper.

Your browser will display DLV output.

If your browser does not support Java you must check if DLV finished computation by using °CHECK DLV STATUS° button.

If your program takes more than 10 mins, it will be terminated.