DLV
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.