DLV - A System for Declarative Problem Solving

Thomas Eiter, Wolfgang Faber, Christoph Koch +2

DLV is an efficient logic programming and non-monotonic reasoning (LPNMR) system with advanced knowledge representation mechanisms and interfaces to classic relational database sys…