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:
emp(1,juan,1250). emp(2,willy,700). emp(3,albert,750). emp(4,jerry,900). emp(5,tom,1050). % employees of the company earn more than 1000: over1000(I,S) :- emp(I,N,S), S > 1000. over1000nr(X) :- #count{I : over1000(I,W)} = X. lowest(X) :- #min{S : emp(I,N,S)} = X. highest(X) :- #max{S : emp(I,N,S)} = X.
switches
:
P:
(C) J.C. Acosta-Guadarrama 2005--2016
DLV is a Copyright of DLVSYSTEM s.r.l
Last update: July 28, 2016
