DLV
on line!
The DLV
Tutorial
DLV -
User Manual
Licensing and documentation
for DLV are also available.
Donwload
this
web frontend
for DLV-on line!
Download
the latest
command-line
version of DLV from the official homepage
main
|
research
|
publications
| miscellaneous
Legal system
Eight Queens
Family Tree
Introduce an Answer Set program like the following. Then click on the Answer sets button:
P:
innocent | guilty:- charges. -guilty:- not evidences. charges. -evidences.
switches
:
P:
(C) J.C. Acosta-Guadarrama 2005--2016
DLV is a Copyright of DLVSYSTEM s.r.l
Last update: July 28, 2016