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.