Differences between revisions 1 and 4 (spanning 3 versions)

The DLT Home Page

About DLT

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

Have a look at our gallery!

-  ⇤ ← Revision 1 as of 2006-02-06 03:05:46 → 
  Size: 77
  Editor: GiovambattistaIanni
  Comment:
+   ← Revision 4 as of 2006-02-06 03:08:35 → ⇥
  Size: 473
  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 
              * Giuseppe Ielpa ,  Francesco Calimeri   
 Students 
               Adriana Pietramala ,  Maria Carmela Santoro   
Have a look at our gallery!