Differences between revisions 18 and 19
Revision 18 as of 2008-06-14 14:01:51
Size: 2909
Comment: remmove old references to dlv-ex
Revision 19 as of 2008-06-14 14:03:14
Size: 2909
Comment:
Deletions are marked like this. Additions are marked like this.
Line 27: Line 27:
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]. 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].


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

[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

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.0.9.beta linux version]
  • Download latest [attachment:dl-complex.win.0.9.beta.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]


Anchor(docs)

Documentation & Examples

We provide here a quick [attachment:dlv-complex-guide.html user guide] and some example of programs using complex terms:

  • [attachment:TuringMachine.dl Turing Machine Simulation]

  • [attachment:ListPath.dl Paths and Cycles in a Graph]

Documentation and examples will be updated accordingly to the evolution of the system, so check them out periodically.

For a full documentation on DLV please visit the official [http://www.dlvsystem.com web page].

Check the official [http://www.mat.unical.it/ianni/wiki/dlvex web page] of DLV-EX out for docs and info.

[#TOC Top of Page]


Anchor(history)

History

  • June 2008

Available soon.

  • Previous versions

...did not carry a real version identification.

[#TOC Top of Page]


Anchor(publications)

Selected Publications

Some selected publications will be listed here.

[#TOC Top of Page]


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