DLV is a deductive database system based on disjunctive logic programming, which offers front-ends to several advanced KR formalisms. The system has been conceived by an Italian-Austrian research team from the University of Calabria and the Vienna University of Technology. The main strength of the system is its wide applicability, from “database oriented” deductive database applications, to hard search and combinatorial optimization problems. DLV is a “general purpose” AI system.

DLV is free for academic and non-commerical educational use, as well as for use by non-profit organisations.
Licences for commercial use can be requested by writing to info@dlvsystem.com

DLV can be downloaded by clicking the following button:

DLV Download page