Differences between revisions 43 and 44
Revision 43 as of 2008-07-29 16:17:56
Size: 4301
Editor: SusannaCozza
Comment: add new release (july 2008)
Revision 44 as of 2008-07-29 16:44:17
Size: 4302
Editor: SusannaCozza
Comment: New attachment for the Hanoi example
Deletions are marked like this. Additions are marked like this.
Line 74: Line 74:
 * [attachment:Hanoi.dl Hanoi.dl] A DLV-Complex program solving the well-known [http://en.wikipedia.org/wiki/Tower_of_Hanoi Tower of Hanoi Puzzle]  * [attachment:Hanoi1.dl Hanoi.dl] A DLV-Complex program solving the well-known [http://en.wikipedia.org/wiki/Tower_of_Hanoi Tower of Hanoi Puzzle]

Anchor(TOC) TableOfContents


DLV-Complex: The Project

DLV-Complex is an Answer Set Programming System extending [http://www.dlvsystem.com DLV] by means of functions. It is a very powerful ASP system supporting (recursive) functions, sets, and lists, along with libraries for their manipulations.

DLV-Complex is based on the [http://www.dlvsystem.com DLV] system and on the [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] framework.

[#TOC Top of Page]


The Team

[#TOC Top of Page]



DLV-Complex is actively developed. To receive notifications about new releases and other important events regarding DLV-Complex, just have a look at this page, or drop us a note [mailto:calimeri{NOSPAM-at-NOSPAM}mat.unical.it here].

Please always use the most current version of DLV-Complex (cf. [#history version history]).


Latest Version

We currently offer a command-line version in binary form for linux and Windows 95/98/NT/2000/XP/Vista.

  • Download latest [attachment:dl-complex.linux.20080727.beta linux version]
  • Download latest [attachment:dl-complex.win.20080727.exe windows version]

Latest Libraries

List-And-Set library is needed in order to exploit built-in manipulation functions/predicates for list and set terms.

  • Download latest [attachment:ListAndSet.so linux version] (.so)

  • Download latest [attachment:ListAndSet.dll windows version] (.dll)

[#TOC Top of Page]


Documentation & Examples

We provide here a quick reference guide, a short tutorial and some examples.

Documentation and examples will be updated accordingly to the evolution of the system, so check them out periodically. For a full documentation on [http://www.dlvsystem.com DLV] please visit the official [http://www.dlvsystem.com web page]. You might also find useful to check the official [http://www.mat.unical.it/ianni/wiki/dlvex web page] of [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] out for docs and info.

Reference Guide and Tutorial

  • [attachment:dlv-complex-guide.html Reference Guide]
  • [attachment:dlv-complex-tutorial.html Tutorial]


  • [attachment:tutorial-examples.zip Tutorial-examples.zip] Examples from the tutorial (text files in a .zip archive)
  • [attachment:ListPath.dl ListPath.dl] Compute all simple paths and cycles in a graph

  • [attachment:Descendants.dl Descendants.dl] Compute the set of all descendants for some given ancestors
  • [attachment:Hanoi1.dl Hanoi.dl] A DLV-Complex program solving the well-known [http://en.wikipedia.org/wiki/Tower_of_Hanoi Tower of Hanoi Puzzle]

  • [attachment:TuringMachine.dl TuringMachine.dl] A DLV-Complex program simulating a Turing Machine

[#TOC Top of Page]



  • July 27th, 2008

Minor bugfixes (some in finite-domain checker).

  • June 13th, 2008

Improve finite-domain checker. Nicefy help messages. Several bugfixes.

  • Early 2008

First beta version.

  • Previous versions

...did not carry a real version identification.

[#TOC Top of Page]



  • F. Calimeri, S. Cozza, G. Ianni, N. Leone, "Computable Functions in ASP: Theory and Implementation" - Technical paper - unpublished. [attachment:cali-etal-2008-functions.pdf Download the paper as PDF]

  • F. Calimeri, S. Cozza, G. Ianni, "External Sources of Knowledge and Value Invention in Logic Programming", Annals of Mathematics and Artificial Intelligence (AMAI), Volume 50, N. 3-4, pp. 333-361, August 2007 -- [http://www.springerlink.com/content/54hw76l157856964/ Link to Springer Page] (find there a PDF version)

[#TOC Top of Page]

Drop us a note at [mailto:calimeri{NOSPAM-at-NOSPAM}mat.unical.it calimeri{at}mat.unical.it]

mat.unical.it dlv-complex: dlv-complex (last edited 2018-01-16 14:27:18 by FrancescoCalimeri)