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:
true. fibonacci(1, 1) :- true. fibonacci(1, 2) :- true. fibonacci(F, Index) :- +(F1, F2, F), fibonacci(F1, Index1), fibonacci(F2, Index2), #succ(Index1, Index2), #succ(Index2, Index).
switches
:
-N=1000
P:
(C) J.C. Acosta-Guadarrama 2005--2016
DLV is a Copyright of DLVSYSTEM s.r.l
Last update: July 28, 2016