Differences between revisions 1 and 5 (spanning 4 versions)

The DLT Home Page

About DLT

DLT is a frontend for disjunctive datalog, extending the DLV system with Template predicates

-  ⇤ ← Revision 1 as of 2006-02-06 03:05:46 → 
  Size: 77
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 5 as of 2006-02-06 03:10:41 → ⇥
  Size: 562
  Editor: GiovambattistaIanni
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 3:
-=The DLT Home Page=
+= The DLT Home Page =
 Line 5:
+== 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!]
----