|
Size: 20
Comment:
|
Size: 3421
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| Prova prima pagina | #acl 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. ---- [#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 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] == Examples == Coming soon ## * [attachment:tutorial-examples.zip Examples from the tutorial] (text files in a .zip archive) ## * [attachment:TuringMachine.dl Turing Machine Simulation] ## * [attachment:ListPath.dl Paths and Cycles in a Graph] ---- [#TOC Top of Page] ---- [[Anchor(history)]] = History = * June 13th, 2008 Improve finite-domain check. 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)]] = Selected Publications = Some selected publications will be listed here. ---- [#TOC Top of Page] ---- Drop us a note at __''[mailto:calimeri{NOSPAM-at-NOSPAM}mat.unical.it calimeri{at}mat.unical.it]''__ |
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
[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]
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]).
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]
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]
Examples
Coming soon
[#TOC Top of Page]
History
- June 13th, 2008
Improve finite-domain check. Nicefy help messages. Several bugfixes.
- Early 2008
First beta version.
- Previous versions
...did not carry a real version identification.
[#TOC Top of Page]
Selected Publications
Some selected publications will be listed here.
[#TOC Top of Page]
Drop us a note at [mailto:calimeri{NOSPAM-at-NOSPAM}mat.unical.it calimeri{at}mat.unical.it]