welcome: please sign in
location: Diff for "dlt"
Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2006-02-06 03:08:21 →
Size: 475
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 10: Line 10:
              * [http://www.gibbi.com "Giovambattista Ianni"]               * [http://www.gibbi.com Giovambattista Ianni]

The DLT Home Page

About DLT

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

The Team

  • Project Coordinator Sr. Developers
    • Giuseppe Ielpa , Francesco Calimeri
    Students
    • Adriana Pietramala , Maria Carmela Santoro

Have a look at our gallery!

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