Knowledge Lab

DLVon line Examples

main | examples | research | publications | miscellaneous

Click on any of the following list of examples to load one. Some of them are taken from the DLV Tutorial.

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:

P:
 

(C) J.C. Acosta-Guadarrama 2005--2016
DLV is a Copyright of DLVSYSTEM s.r.l

Last update: July 28, 2016