DLV : Evolution and Perspectives

dlv is a system for Answer Set Programming (ASP), a logicbased programming paradigm for solving problems in a fully declarative way. It has been one of the first solid and reliable ASP systems, widely used in academy and fruitfully employed in many relevant industrial applications. In this paper we first provide an overview of dlv and its evolution, and then present dlv2 [1], a completely re-engineered version of the system that relies on the combination of the I-dlv grounder [2] and the wasp solver [3]. The new system supports ASP-Core-2 input programs that can be enriched by annotations and directives for customizing heuristics of the system and extending solving capabilities; furthermore, an empirical analysis shows that dlv2 also outperforms the “old” dlv in terms of performance.