|
Size: 562
Comment:
|
Size: 2482
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 5: | Line 5: |
| [[Anchor(anchorname)]] ---- |
|
| Line 6: | Line 8: |
| 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 12: |
| * [http://www.gibbi.com Giovambattista Ianni] | * [http://www.gibbi.com Giovambattista Ianni] |
| Line 12: | Line 14: |
| * Francesco Calimeri, Giuseppe Ielpa (emeritus) | * Francesco Calimeri, Giuseppe Ielpa (emeritus) |
| Line 14: | Line 16: |
| * 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 19: |
| == 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]). * 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. ---- == Documentation & Examples == The following examples could be interesting: * [http://sv.mat.unical.it/~ianni/dlpt/examples_lpnmr.zip Simple_examples] * [http://sv.mat.unical.it/~ianni/dlpt/examples.zip Other examples] ---- Related Work * [http://www.mat.unical.it/kali/dlv-ex DLV-EX] is an Answer Set Programming System with External Predicates, featuring a framework aimed at enabling ASP to deal with external sources of computation. It has been implemented and is currently maintained by members of the DLV team from Università della Calabria (some of them are involved also into the DLT project). DLV-EX features will be soonly part of the DLV System. It allows DLT as a pre-parser. * [http://www.kr.tuwien.ac.at/staff/roman/dlvhex/ DLV-HEX] features "''second order''" external predicates taking relational input an returning relational output, as well as higher order atoms. It allows DLT as a pre-parser. |
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]).
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.
== Documentation & Examples ==
- The following examples could be interesting:
[http://sv.mat.unical.it/~ianni/dlpt/examples_lpnmr.zip Simple_examples]
[http://sv.mat.unical.it/~ianni/dlpt/examples.zip Other examples]
Related Work
[http://www.mat.unical.it/kali/dlv-ex DLV-EX] is an Answer Set Programming System with External Predicates, featuring a framework aimed at enabling ASP to deal with external sources of computation. It has been implemented and is currently maintained by members of the DLV team from Università della Calabria (some of them are involved also into the DLT project). DLV-EX features will be soonly part of the DLV System. It allows DLT as a pre-parser.
[http://www.kr.tuwien.ac.at/staff/roman/dlvhex/ DLV-HEX] features "second order" external predicates taking relational input an returning relational output, as well as higher order atoms. It allows DLT as a pre-parser.