Differences between revisions 1 and 64 (spanning 63 versions)
Revision 1 as of 2008-06-10 07:24:56
Size: 20
Editor: WikiAdmin
Comment:
Revision 64 as of 2009-06-19 11:29:42
Size: 6337
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
Prova prima pagina #acl MembersGroup:read,write,revert,admin,delete FrancescoCalimeri:read,write,revert SusannaCozza:read,write,revert All:read
----
----
[[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, from which it inherits the possibility of
defining ''external predicates''. If will find everything you need in order to create your own external predicates collected in libraries on the [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] page.


[#TOC Top of Page]
----
[[Anchor(team)]]
= The Team =

 * [http://www.mat.unical.it/calimeri Francesco Calimeri]
 * [mailto:cozza{NOSPAM-at-NOSPAM}mat.unical.it Susanna Cozza]
 * [http://www.gibbi.com Giovambattista Ianni]
 * [http://www.mat.unical.it/~leone Nicola Leone]


[#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 ==

=== Standard 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.20090519.beta linux version]
 * Download latest [attachment:dl-complex.linux.20090519.beta.exe windows version]

=== Static Version ===
We offer also a statically linked executable, that includes list and set manipulation libraries. This version do not need any pre-installed dynamic library on your system; in addition, it is self-contained, meaning that '''you do not need to download any library''' (such as those below) '''in order to enjoy full lists and set support'''. It is '''ready-to-use'''. :) Nevertheless, this version '''do not support external predicates/libraries''' (see [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] page).

 * Download latest [attachment:dl-complex.linux.20090519.beta.static linux STATIC version]
 * Download latest [attachment:dl-complex.win.20090519.beta.static.exe windows STATIC version]

[[Anchor(latestLibraries)]]
== 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.20090115.dll windows version] (.dll)
 * Other external predicate libraries can be found on the [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] page.

[[Anchor(forDevelopers)]]
== Developing New External Predicates and Libraries ==
If will find everything you need in order to create ''your own'' external predicates (collected in dynamic libraries) on the [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] page.


[#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 ==

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

== Examples ==

 * [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] (txt version here: [attachment:Hanoi1.txt Hanoi.txt]) - 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] (txt version here: [attachment:TuringMachine.txt TuringMachine.txt]) - A DLV-Complex program simulating a Turing Machine - You can dowload also a [attachment:TuringMachine.pdf more detailed description: TuringMachine.pdf] (pdf document)


[#TOC Top of Page]
----
[[Anchor(history)]]
= History =

 * May 19th, 2009
Improve stability. Remove some useless #MAXINT restrictions. Release a static version.

 * 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]
----
[[Anchor(publications)]]
= Reports =

 * F. Calimeri, S. Cozza, G. Ianni, N. Leone, "''Computable Functions in ASP: Theory and Implementation''", Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), Vol. 5366 of Lecture Notes in Computer Science (LNCS), pp. 407-424, Udine, Italy, December 2008, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 978-3-540-89981-5.[http://dx.doi.org/10.1007/978-3-540-89982-2_37 DOI]
 * 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]''__



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, from which it inherits the possibility of defining external predicates. If will find everything you need in order to create your own external predicates collected in libraries on the [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] page.

[#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

Standard 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.20090519.beta linux version]
  • Download latest [attachment:dl-complex.linux.20090519.beta.exe windows version]

Static Version

We offer also a statically linked executable, that includes list and set manipulation libraries. This version do not need any pre-installed dynamic library on your system; in addition, it is self-contained, meaning that you do not need to download any library (such as those below) in order to enjoy full lists and set support. It is ready-to-use. :) Nevertheless, this version do not support external predicates/libraries (see [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] page).

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

Anchor(latestLibraries)

Latest Libraries

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

Anchor(forDevelopers)

Developing New External Predicates and Libraries

If will find everything you need in order to create your own external predicates (collected in dynamic libraries) on the [http://www.mat.unical.it/ianni/wiki/dlvex DLV-EX] page.

[#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

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

Examples

  • [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] (txt version here: [attachment:Hanoi1.txt Hanoi.txt]) - 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] (txt version here: [attachment:TuringMachine.txt TuringMachine.txt]) - A DLV-Complex program simulating a Turing Machine - You can dowload also a [attachment:TuringMachine.pdf more detailed description: TuringMachine.pdf] (pdf document)

[#TOC Top of Page]


Anchor(history)

History

  • May 19th, 2009

Improve stability. Remove some useless #MAXINT restrictions. Release a static version.

  • 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]


Anchor(publications)

Reports

  • F. Calimeri, S. Cozza, G. Ianni, N. Leone, "Computable Functions in ASP: Theory and Implementation", Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), Vol. 5366 of Lecture Notes in Computer Science (LNCS), pp. 407-424, Udine, Italy, December 2008, Springer Verlag, GmbH Tiergartenstrasse 17, 69121, Heidelberg Germany, ISBN 978-3-540-89981-5.[http://dx.doi.org/10.1007/978-3-540-89982-2_37 DOI]

  • 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)