|The DLV Wrapper Project|
|Download API docs Online Demo Papers FAQ contact|
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.