welcome: please sign in
location: Diff for "dlt"
Differences between revisions 6 and 7
Revision 6 as of 2006-02-06 03:18:36
Size: 1558
Comment:
Revision 7 as of 2006-02-06 03:19:11
Size: 1518
Comment:
Deletions are marked like this. Additions are marked like this.
Line 22: Line 22:
# Portare quest'ultimo in Wiki format.

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


mwiki: dlt (last edited 2011-09-21 10:38:45 by GiovambattistaIanni)