Differences between revisions 4 and 5

The DLT Home Page

About DLT

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

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