KB Debugger on
DLV
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
| examples |
research
|
publications
| miscellaneous
Introduce
two
Answer Set program, each in braces like the following. Then click on the Debug button:
{ notify :- night, not wSystem. night. wPlants :- wSystem, night, not wet. wSystem. } { -wPlants :- gFlood. gFlood. % suppose there is a flood now. }
switches
:
-silent
© by
2012--2016 Juan C. Acosta Guadarrama
DLV is a Copyright of DLVSYSTEM s.r.l
Last update: July 28, 2016
