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
Non-flying Birds
Employees DB
Fibonacci
Introduce an Answer Set program like the following. Then click on the Answer sets button:
P:
eagle(eddie). penguin(tacky). fly(X) :- bird(X), not -fly(X). -fly(X) :- penguin(X). bird(X) :- penguin(X). bird(X) :- eagle(X).
switches
:
P:
(C) J.C. Acosta-Guadarrama 2005--2016
DLV is a Copyright of DLVSYSTEM s.r.l
Last update: July 28, 2016
