Anchor(TOC) TableOfContents



Anchor(project)

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]


Anchor(team)

The Team


[#TOC Top of Page]


Anchor(downloads)

Downloads

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]).

Anchor(latestVersion)

Latest Version

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

Latest Libraries

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


[#TOC Top of Page]


Anchor(docs)

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

Examples

[#TOC Top of Page]


Anchor(history)

History

Minor bugfixes (some in finite-domain checker).

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

First beta version.

...did not carry a real version identification.


[#TOC Top of Page]


Anchor(publications)

Reports


[#TOC Top of Page]


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