DLV è un sistema di database deduttivo, basato sulla programmazione logica disgiuntiva, che offre front-end a diversi formalismi di ragionamento avanzati. È stato ideato da un gruppo di ricerca italo-austriaco (dell’Università della Calabria e dell’Università della Tecnologia di Vienna). Il principale punto di forza del sistema è la sua ampia applicabilità, dalle applicazioni di database deduttivi “orientati al database”, ai difficili problemi di ricerca e ottimizzazione combinatoria. DLV è un sistema di intelligenza artificiale “per uso generale”.