|
Size: 562
Comment:
|
Size: 1558
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 2: | Line 2: |
| # NOTE: i link puntano per lo più ai vecchi file. Usare il wiki nel futuro per gli attachment. | |
| Line 6: | Line 6: |
| DLT is a frontend for disjunctive datalog, extending the DLV system with Template predicates | DLT is a frontend for disjunctive datalog, extending the [http://www.dlvsystem.com DLV system] with Template predicates. |
| Line 10: | Line 10: |
| * [http://www.gibbi.com Giovambattista Ianni] | * [http://www.gibbi.com Giovambattista Ianni] |
| Line 12: | Line 12: |
| * Francesco Calimeri, Giuseppe Ielpa (emeritus) | * Francesco Calimeri, Giuseppe Ielpa (emeritus) |
| Line 14: | Line 14: |
| * Susanna Cozza, Adriana Pietramala , Maria Carmela Santoro Have a look at our [http://www.mat.unical.it/ianni/wiki/DltGallery gallery!] |
* Susanna Cozza, Adriana Pietramala , Maria Carmela Santoro Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!] |
| Line 17: | Line 17: |
| == Downloads == At the moment we provide only a Linux (i586) binary and a Windows binary. Other systems' executables will be sooner available. * Download the latest linux (i586) version ([http://sv.mat.unical.it/~ianni/dlpt/dlpt.linux.1.1.zip 1.1]). * Download the latest windows version ([http://sv.mat.unical.it/~ianni/dlpt/DLT_WIN.zip 1.1]). # Portare quest'ultimo in Wiki format. * The DLT [http://sv.mat.unical.it/~ianni/dlpt/DLT_Manual.htm Manual]. Note: since DLT invokes DLV, you will need the DLV executable. Please find all versions at the official [http://www.dlvsystem.com webpage]. A limited compatibility with other solvers such as [http://www.tcs.hut.fi/Software/smodels/ Smodels] is also provided. Check DLT official web page for news. To receive notifications about new releases and/or other important events regarding DLT, please contact us at dlpt@mat.unical.it. ---- |
The DLT Home Page
About DLT
DLT is a frontend for disjunctive datalog, extending the [http://www.dlvsystem.com DLV system] with Template predicates.
The Team
- Project Coordinator
[http://www.gibbi.com Giovambattista Ianni] Sr. Developers
- Francesco Calimeri, Giuseppe Ielpa (emeritus) Jr. Developers
- Susanna Cozza, Adriana Pietramala , Maria Carmela Santoro
Have a look at our [http://sv.mat.unical.it/~ianni/dlpt/gallery.htm gallery!]
Downloads
- At the moment we provide only a Linux (i586) binary and a Windows binary. Other systems' executables will be sooner available.
Download the latest linux (i586) version ([http://sv.mat.unical.it/~ianni/dlpt/dlpt.linux.1.1.zip 1.1]).
Download the latest windows version ([http://sv.mat.unical.it/~ianni/dlpt/DLT_WIN.zip 1.1]).
# Portare quest'ultimo in Wiki format.
The DLT [http://sv.mat.unical.it/~ianni/dlpt/DLT_Manual.htm Manual].
Note: since DLT invokes DLV, you will need the DLV executable. Please find all versions at the official [http://www.dlvsystem.com webpage]. A limited compatibility with other solvers such as [http://www.tcs.hut.fi/Software/smodels/ Smodels] is also provided.
Check DLT official web page for news. To receive notifications about new releases and/or other important events regarding DLT, please contact us at dlpt@mat.unical.it.