DLV is a deductive database system based on disjunctive logic programming, providing front-ends for various advanced reasoning formalisms.

It was developed by a joint Italian-Austrian research group (from the University of Calabria and the Vienna University of Technology – TU Wien). The system’s key strength lies in its wide range of applications, from ‘database-oriented’ deductive tasks to challenging combinatorial search and optimization problems.

DLV is a ‘general-purpose’ artificial intelligence system.