DLV è un sistema avanzato di database deduttivo basato sulla Disjunctive Logic Programming (Programmazione Logica Disgiuntiva). Nato dalla collaborazione accademica tra l’Università della Calabria e la Vienna University of Technology (TU Wien), DLV rappresenta oggi lo stato dell’arte nei sistemi di ragionamento automatico.

La forza di DLV risiede nella sua versatilità: è in grado di affrontare con la stessa efficacia sia compiti orientati ai dati (tipici dei database) sia complessi problemi di ricerca combinatoria e ottimizzazione. Grazie alla sua capacità di gestire conoscenza incompleta e ragionamento non monotono, DLV funge da motore inferenziale general-purpose per risolvere sfide industriali che i software tradizionali non riescono a gestire.