The DLT Home Page

About DLT

• DLT is a frontend for disjunctive datalog, extending the 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://www.mat.unical.it/ianni/wiki/DltGallery gallery!]