Differences between revisions 2 and 78 (spanning 76 versions)
Revision 2 as of 2008-06-10 08:41:44
Size: 16
Editor: SusannaCozza
Comment:
Revision 78 as of 2010-03-05 15:19:19
Size: 7468
Comment: new release - march 03 2010
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
Prova modifica #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''. You 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 ==

[[Anchor(standardVersion)]]
=== Standard Version ===
We currently provide a command-line version in binary form for Linux, Windows 95/98/NT/2000/XP/Vista and Mac OS.
 * Download latest [attachment:dl-complex.linux.20100303.beta linux version] (requires libstdc++6.0.10 or greater)
 * Download latest [attachment:dl-complex.win.20100303.beta.exe windows version]
 * Download latest [attachment:dl-complex.mac.20090727.beta macOS version]

[[Anchor(staticVersion)]]
=== Static Version ===
attachment:new.gif We offer also a statically linked executable (currently only linux and windows versions), 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.20100303.static.beta linux STATIC version]
 * Download latest [attachment:dl-complex.win.20100303.static.beta.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, unless you use a [#staticVersion static version] of DLV-Complex.
   * Download latest [attachment:ListAndSet.so linux version] (.so)
   * Download latest [attachment:ListAndSet.20090115.dll windows version] (.dll)
   * Download latest [attachment:ListAndSet.macOS.so macOS version] (.so)
 * 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 =
 * March 03, 2010
Fix instantiation bug while dealing with rules featuring both assignment aggregates and external built-in. Improve stability. MacOS version to be released soon.

 * July 27th, 2009
Start moving towards new functional built-in approach, in order to meet official [http://www.dlvsystem.com DLV] future standards. Fix some nasty bugs involving the interaction between built-ins and aggregates. Further improve stability.

 * 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, "''Finitely Recursive Programs: Decidability and Bottom-up Computation''", Technical Report, Department of Mathematics, University of Calabria, 2009 - Submitted for publication to Fundamenta Informaticae. ([attachment:calimeri-etal-magic-FI.pdf PDF version])
 * 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. You 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

Anchor(standardVersion)

Standard Version

We currently provide a command-line version in binary form for Linux, Windows 95/98/NT/2000/XP/Vista and Mac OS.

  • Download latest [attachment:dl-complex.linux.20100303.beta linux version] (requires libstdc++6.0.10 or greater)
  • Download latest [attachment:dl-complex.win.20100303.beta.exe windows version]
  • Download latest [attachment:dl-complex.mac.20090727.beta macOS version]

Anchor(staticVersion)

Static Version

attachment:new.gif We offer also a statically linked executable (currently only linux and windows versions), 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.20100303.static.beta linux STATIC version]
  • Download latest [attachment:dl-complex.win.20100303.static.beta.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, unless you use a [#staticVersion static version] of DLV-Complex.
    • Download latest [attachment:ListAndSet.so linux version] (.so)

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

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

  • 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

  • March 03, 2010

Fix instantiation bug while dealing with rules featuring both assignment aggregates and external built-in. Improve stability. MacOS version to be released soon.

  • July 27th, 2009

Start moving towards new functional built-in approach, in order to meet official [http://www.dlvsystem.com DLV] future standards. Fix some nasty bugs involving the interaction between built-ins and aggregates. Further improve stability.

  • 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, "Finitely Recursive Programs: Decidability and Bottom-up Computation", Technical Report, Department of Mathematics, University of Calabria, 2009 - Submitted for publication to Fundamenta Informaticae. ([attachment:calimeri-etal-magic-FI.pdf PDF version])

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